On the structure of semilattice sums
Anna B. Romanowska, Jonathan D. H. Smith (1991)
Czechoslovak Mathematical Journal
Similarity:
Anna B. Romanowska, Jonathan D. H. Smith (1991)
Czechoslovak Mathematical Journal
Similarity:
Ivan Chajda, Juhani Nieminen, Bohdan Zelinka (1983)
Archivum Mathematicum
Similarity:
Ivan Chajda, Jan Kühr (2006)
Mathematica Slovaca
Similarity:
Ivan Chajda (2010)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
We deal with congruences on semilattices with section antitone involution which rise e.g., as implication reducts of Boolean algebras, MV-algebras or basic algebras and which are included among implication algebras, orthoimplication algebras etc. We characterize congruences by their kernels which coincide with semilattice filters satisfying certain natural conditions. We prove that these algebras are congruence distributive and 3-permutable.