Jaroslav Guričan, Heghine Ghumashyan (2024)
Mathematica Bohemica
Similarity:
We show that all finite Brouwerian semilattices have strong endomorphism kernel property (SEKP), give a new proof that all finite relative Stone algebras have SEKP and also fully characterize dual generalized Boolean algebras which possess SEKP.
Ivan Chajda, Helmut Länger (2001)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
Brouwerian semilattices are meet-semilattices with 1 in which every element a has a relative pseudocomplement with respect to every element b, i. e. a greatest element c with a∧c ≤ b. Properties of classes of reflexive and compatible binary relations, especially of congruences of such algebras are described and an abstract characterization of congruence classes via ideals is obtained.
Zuzana Heleyová (2000)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
It is known that congruence lattices of pseudocomplemented semilattices are pseudocomplemented [4]. Many interesting properties of congruences on pseudocomplemented semilattices were described by Sankappanavar in [4], [5], [6]. Except for other results he described congruence distributive pseudocomplemented semilattices [6] and he characterized pseudocomplemented semilattices whose congruence lattices are Stone, i.e. belong to the variety B₁ [5]. In this paper we give a partial solution...
J. Varlet (1982)
Banach Center Publications
Similarity:
Radomír Halaš, Jan Kühr (2007)
Czechoslovak Mathematical Journal
Similarity:
Sectionally pseudocomplemented semilattices are an extension of relatively pseudocomplemented semilattices—they are meet-semilattices with a greatest element such that every section, i.e., every principal filter, is a pseudocomplemented semilattice. In the paper, we give a simple equational characterization of sectionally pseudocomplemented semilattices and then investigate mainly their congruence kernels which leads to a characterization of subdirectly irreducible sectionally pseudocomplemented...
S. N. Begum, Abu Saleh Abdun Noor (2011)
Mathematica Bohemica
Similarity:
A meet semilattice with a partial join operation satisfying certain axioms is a JP-semilattice. A PJP-semilattice is a pseudocomplemented JP-semilattice. In this paper we describe the smallest PJP-congruence containing a kernel ideal as a class. Also we describe the largest PJP-congruence containing a filter as a class. Then we give several characterizations of congruence kernels and cokernels for distributive PJP-semilattices.
Anna B. Romanowska, Jonathan D. H. Smith (1991)
Czechoslovak Mathematical Journal
Similarity:
Ivan Chajda (2002)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Jānis Cīrulis (2007)
Open Mathematics
Similarity:
The infimum of elements a and b of a Hilbert algebra are said to be the compatible meet of a and b, if the elements a and b are compatible in a certain strict sense. The subject of the paper will be Hilbert algebras equipped with the compatible meet operation, which normally is partial. A partial lower semilattice is shown to be a reduct of such an expanded Hilbert algebra i ?both algebras have the same ?lters.An expanded Hilbert algebra is actually an implicative partial semilattice...