Abstract
In this note we introduce the variety \({{\mathcal C}{\mathcal D}{\mathcal M}_\square}\) of classical modal De Morgan algebras as a generalization of the variety \({{{\mathcal T}{\mathcal M}{\mathcal A}}}\) of Tetravalent Modal algebras studied in [11]. We show that the variety \({{\mathcal V}_0}\) defined by H. P. Sankappanavar in [13], and the variety S of Involutive Stone algebras introduced by R. Cignoli and M. S de Gallego in [5], are examples of classical modal De Morgan algebras. We give a representation theory, and we study the regular filters, i.e., lattice filters closed under an implication operation. Finally we prove that the variety \({{{\mathcal T}{\mathcal M}{\mathcal A}}}\) has the Amalgamation Property and the Superamalgamation Property.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, MO, 1974.
Celani, S. A., ‘Simple and subdirectly irreducible bounded distributive lattices with unary operators’, International Journal of Mathematics and Mathematical Sciences, Volume 2006 (2006), Article ID 21835, 20 pages, doi:10.1155/IJMMS/2006/21835.
Celani S.A.: ‘Notes on the Representation of Distributive Modal algebras’. Miskolc Mathematical Notes 9(2), 81–89 (2008)
Celani S.A., Jansana R.: ‘Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic’. Logic Journal of the IGPL 7(6), 683–715 (1999)
Cignoli R., de Gallego M.S.: ‘Dualities for some De Morgan algebras with operators and Lukasiewicz algebras’. J. Austral Math. Soc (Series A) 34, 377–393 (1983)
Font J.M., Rius M.: ‘An Abstract Algebraic Logic approach to Tetravalent Modal Logics’. The Journal of Symbolic Logic 65, 481–518 (2000)
Gaitan H.: ‘Free algebras in certain varieties of De Morgan algebras’. Math. Logic Q. 44(4), 553–567 (1988)
Guzman F., Squier C.: ‘Subdirectly irreducible and free Kleene-Stone algebras’. Algebra Universalis 31, 266–273 (1994)
Kracht, M., Tools and techniques in modal logic, Studies in Logic, Vol. 142, Elsevier, 1999.
Loureiro I.: ‘Axiomatisation et propriétés des algèbres modales tétravalentes’. C. R. Acad. Sc. Paris, Serie I 295, 555–557 (1982)
Loureiro I.: ‘Prime spectrum of a tetravalent modal algebra’. Notre Dame Journal of Formal Logic 24, 389–394 (1983)
McKinsey J.C.C., Tarski A.: ‘The algebra of topology’. Annals of Mathematics 45, 141–191 (1944)
Sankappanavar H.P.: ‘Principal congruences of pseudocomplemented DeMorgan algebras’. Z. Math. Logik Grundlagen Math. 33, 3–11 (1987)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Celani, S.A. Classical Modal De Morgan Algebras. Stud Logica 98, 251–266 (2011). https://doi.org/10.1007/s11225-011-9328-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-011-9328-0