Congruence pairs for algebras abstracting Kleene and Stone algebras
Rodney Beazer (1985)
Czechoslovak Mathematical Journal
Similarity:
Rodney Beazer (1985)
Czechoslovak Mathematical Journal
Similarity:
Ramalho, Margarita (1993)
Portugaliae mathematica
Similarity:
Bjarni Jónsson (1979)
Colloquium Mathematicae
Similarity:
Radomír Halaš, Luboš Plojhar (2005)
Open Mathematics
Similarity:
We characterize congruence lattices of standard QBCC-algebras and their connection with the congruence lattices of congruence kernels.
Ivan Chajda, Ewa Graczyńska (1999)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Ivan Chajda (2006)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
We introduce the concepts of pre-implication algebra and implication algebra based on orthosemilattices which generalize the concepts of implication algebra, orthoimplication algebra defined by J.C. Abbott [2] and orthomodular implication algebra introduced by the author with his collaborators. For our algebras we get new axiom systems compatible with that of an implication algebra. This unified approach enables us to compare the mentioned algebras and apply a unified treatment of congruence...
Ramalho, Margarita, Sequeira, Margarida (1987)
Portugaliae mathematica
Similarity:
Haviar, Miroslav (1994)
Portugaliae Mathematica
Similarity: