Classical Modal De Morgan Algebras
Studia Logica 98 (1-2):251-266 (2011)
| 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJ. P. Díaz Varela & B. F. López Martinolich (2011). Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras. Studia Logica 98 (1-2):307-330.
Juan Manuel Cornejo (2011). Semi-Intuitionistic Logic. Studia Logica 98 (1-2):9-25.
B. A. Davey & H. A. Priestley (2012). Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-Based Algebras. Studia Logica 100 (1-2):137-161.
Roberto Cignoli (2011). Boolean Skeletons of MV-Algebras and ℓ-Groups. Studia Logica 98 (1-2):141-147.
W. J. Blok (1980). Pretabular Varieties of Modal Algebras. Studia Logica 39 (2-3):101 - 124.
Júlia Vaz de Carvalho (2010). On the Variety of M -Generalized Łukasiewicz Algebras of Order N. Studia Logica 94 (2).
T. S. Blyth & Jie Fang (2007). Congruence Coherent Symmetric Extended de Morgan Algebras. Studia Logica 87 (1):51 - 63.
Walter A. Carnielli & João Marcos (1999). Limits for Paraconsistent Calculi. Notre Dame Journal of Formal Logic 40 (3):375-390.
Hernando Gaitán & Milton H. Perea (2004). A Non-Finitely Based Quasi-Variety of de Morgan Algebras. Studia Logica 78 (1-2):237 - 248.
Ming Hsiung (2013). Equiparadoxicality of Yablo's Paradox and the Liar. Journal of Logic, Language and Information 22 (1):23-31.
Michael Ray Oliver (2004). Continuum-Many Boolean Algebras of the Form $\Mathcal{P}(\Omega)/\Mathcal{I}, \Mathcal{I}$ Borel. Journal of Symbolic Logic 69 (3):799 - 816.
Teresa Almada & JÚlia Vaz de Carvalho (2001). A Generalization of the Łukasiewicz Algebras. Studia Logica 69 (3):329-338.
P. Garcia & F. Esteva (1995). On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras. Studia Logica 55 (2):319 - 346.
Sergio A. Celani & Hernán J. San Martín (2012). Frontal Operators in Weak Heyting Algebras. Studia Logica 100 (1-2):91-114.
Analytics
Monthly downloads |
Added to index2011-07-20Total downloads7 ( #133,421 of 549,049 )Recent downloads (6 months)1 ( #63,185 of 549,049 )How can I increase my downloads? |
My notes
Discussion
