Abstract
We investigate the class of those algebras (L; º, *) in which (L; º) is a de Morgan algebra, (L; *) is a quasi-Stone algebra, and the operations \({x \mapsto x^{\circ}}\) and \({x \mapsto x^{*}}\) are linked by the identity x**º = x*º*. We show that such an algebra is subdirectly irreducible if and only if its congruence lattice is either a 2-element chain or a 3-element chain. In particular, there are precisely eight non-isomorphic subdirectly irreducible Stone de Morgan algebras.
Similar content being viewed by others
References
Adams M. E., Beazer R.: Congruence uniform distributive lattices. Acta Mathematica Hungarica 57, 41–52 (1991)
Adams, M. E., W. Dziobiak, and H. P. Sankappanavar, Universal varieties of quasi-Stone algebras, manuscript.
Blyth, T. S., and J. C. Varlet, Ockham Algebras, Oxford University Press, Oxford, 1994.
Celani S.A.: Classical Modal de Morgan algebras. Studia Logica, Special Issue: Algebras Related to Non-classical Logic 98, 251–266 (2011)
Fang, J., Distributive Lattices with Unary Operations, Science Press, Beijing, 2011.
Fischer S.-K.: The variety of quasi-Stone algebras does not have the amalgamation property. Algebra Universalis 66, 1–3 (2011)
Gaitán H.: Priestley duality for quasi-Stone algebras. Studia Logica 64, 83–92 (2000)
Guzmán F., Squier C.C.: Subdirectly irreducible and free Kleene-Stone algebras. Algebra Universalis 31, 266–273 (1994)
Roman, S., Lattices and Ordered Sets, Springer, New York, 2008.
Sankappanavar N.H., Sankappanavar H.P.: Quasi-Stone algebras. Mathematical Logic Quarterly 39, 255–268 (1993)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Blyth, T.S., Fang, J. & Wang, Lb. De Morgan Algebras with a Quasi-Stone Operator. Stud Logica 103, 75–90 (2015). https://doi.org/10.1007/s11225-013-9538-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-013-9538-8