Abstract
Various classes of de Morgan algebras whose congruence relations satisfy special conditions are investigated together with their interrelationship. In particular, the classes of congruence permutable, congruence regular, and congruence uniform de Morgan algebras are studied.
Similar content being viewed by others
References
M. E. Adams,Principal congruences in de Morgan algebras, Proc. Edinburgh Math. Soc.30 (1987), 415–421.
M. E.Adams, and R.Beazer,The intersection of principal congruences on de Morgan algebras, Houston J. Math., to appear.
M. E.Adams, and R.Beazer,Congruence uniform distributive lattices, Acta Math. Hungar., to appear.
R. Balbes andPh. Dwinger,Distributive Lattices, University of Missouri Press, Columbia, Missouri, 1974.
R. Beazer,Coherent de Morgan algebras, Algebra Universalis24 (1987), 128–136.
J. Berman,Distributive lattices with an additional unary operation, Aequationes Math.16 (1977), 165–171.
A. Białynicki-Birula,Remarks on quasi-Boolean algebras, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys.5 (1957), 615–619.
A. Białynicki-Birula andH. Rasiowa, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys.5 (1957), 259–261.
T. S. Blyth andJ. C. Varlet,On a common abstraction of de Morgan algebras and Stone algebras, Proc. Roy. Soc. Edinburgh Sect.A 94 (1983), 301–308.
T. S. Blyth andJ. C. Varlet,Congruences on MS-algebras, Bull. Soc. Roy. Sci. Liège53 (1984), 341–362.
S.Burris and H. P.Sankappanavar,A Course in Universal Algebra, Graduate Texts in Mathematics, Springer-Verlag, 1981.
I. Chadja,Transferable principal congruences and regular algebras, Math. Slovaca34 (1984), 97–102.
I. Chadja,A Mal'cev condition for congruence principal permutable varieties, Algebra Universalis19 (1984), 337–340.
W. H. Cornish andP. R. Fowler,Coproducts of de Morgan algebras, Bull. Austral. Math. Soc.16 (1977), 1–13.
W. H. Cornish andP. R. Fowler,Coproducts of Kleene algebras, J. Austral. Math. Soc. Ser.A 27 (1979), 209–220.
B. A. Davey andD. Duffus,Exponentiation and duality, inOrdered Sets (ed. I. Rival), NATO Advanced Study Institutes Series, D. Reidel, Dordrecht, 1982, pp. 43–96.
H. DraŠkovičová,Connections between some congruence properties in a single algebra, inContributions to General Algebra, 3 (Vienna, 1984), Hölder-Pichler-Tempsky, Vienna, 1985, pp. 103–114.
G. A. Fraser andA. Horn,Congruence relations in direct products, Proc. Amer. Math. Soc.26 (1970), 390–394.
M. S. Goldberg,Distributive p-algebras and Ockham Algebras; a Topological approach, Ph.D. Thesis, La Trobe University, Australia, 1979.
J. A. Kalman,Lattices with involution, Trans. Amer. Math. Soc.87 (1958), 485–491.
G. C. Moisil,Recherches sur l'algèbre, de la logique, Annales Sci. de l'Univ. de Jassy22 (1935), 1–117.
A. Monteiro,Matrices de Morgan caractéristiques pour le calcul propositional classique, An. Acad. Brasil Ci.52 (1960), 1–7.
H. A. Priestley,Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc.2 (1970), 186–190.
H. A. Priestley,Ordered sets and duality for distributive lattices, Ann. Discrete Math.23 (1984), 39–60.
H. Rasiowa,An Algebraic Approach to Non-classical Logics, North-Holland, Amsterdam, 1974.
H. P. Sankappanavar,A characterization of principal congruences of de Morgan algebras and its applications, inMathematical Logic in Latin America (ed. A. I. Arruda, R. Cuaqui, and N. C. A. da Costa), North-Holland, Amsterdam, 1980, pp. 341–349.
A. Urquhart,Distributive lattices with a dual homomorphic operation, Studia Logica38 (1979), 201–209.
J. C. Varlet,Congruences on de Morgan algebras, Bull. Soc. Roy. Sci. Liège 50 (1981), 332–343.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Adams, M.E., Beazer, R. Congruence relations on de Morgan algebras. Algebra Universalis 26, 103–125 (1989). https://doi.org/10.1007/BF01243876
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01243876