Abstract
An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence \(\vartheta\) on A is a union of \(\vartheta\) -classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class of symmetric extended de Morgan algebras.
Similar content being viewed by others
References
Adams M.E., Atallah M., Beazer R. (1996) ‘Congruence distributive double p-algebras’. Proc. Edinburgh Math. Soc. 39 (2):71–80
Beazer R. (1987) ‘Coherent de Morgan algebras’. Algebras Universalis 24:128–136
Blyth T.S., Jie Fang (1999) ‘Congruence coherent double MS-algebras’. Glasgow Math. J. 41:289–295
Blyth T.S., Jie Fang (2000) ‘Extended Ockham algebras’. Communications in Algebra 28 (3):1271–1284
Blyth T.S., Jie Fang (2003) ‘Symmetric extended Ockham algebras’. Algebra Colloquium 10 (4):479–489
Blyth, T. S., and J. C. Varlet, Ockham Algebras, Oxford University Press, 1994.
Urquhart, A., ‘Lattices with a dual homomorphic operation’. Studia Logica 38:201–209, 1979; ibid. 40:391–404, 1981.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Blyth, T.S., Fang, J. Congruence Coherent Symmetric Extended de Morgan Algebras. Stud Logica 87, 51–63 (2007). https://doi.org/10.1007/s11225-007-9076-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-007-9076-3