Polynomially determined congruences in algebras without constants
Radim Bělohlávek, Ivan Chajda (1997)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Radim Bělohlávek, Ivan Chajda (1997)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Iskander, A.A. (1996)
Acta Mathematica Universitatis Comenianae. New Series
Similarity:
Ivan Chajda, Ewa Graczyńska (1999)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
J. Słomiński (1960)
Fundamenta Mathematicae
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.
Pavol Zlatoš (1983)
Commentationes Mathematicae Universitatis Carolinae
Similarity: