Classical modal De Morgan algebras
From MaRDI portal
Publication:763322
DOI10.1007/S11225-011-9328-0zbMATH Open1245.03109OpenAlexW1978382207MaRDI QIDQ763322FDOQ763322
Publication date: 9 March 2012
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-011-9328-0
Recommendations
- Symmetric operators on modal pseudocomplemented De Morgan algebras
- Principal congruences of tetravalent modal algebras
- scientific article; zbMATH DE number 1236085
- scientific article; zbMATH DE number 6316274
- Hilbert-style presentations of two logics associated to tetravalent modal algebras
- scientific article; zbMATH DE number 761291
- Modal pseudocomplemented De Morgan algebras
- An abstract algebraic logic approach to tetravalent modal logics
- scientific article
- Several characterizations of the 4-valued modal algebra
Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Cites Work
- Tools and techniques in modal logic
- The algebra of topology
- Principal Congruences of Pseudocomplemented Demorgan Algebras
- Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators
- An abstract algebraic logic approach to tetravalent modal logics
- Prime spectrum of a tetravalent modal algebra
- Subdirectly irreducible and free Kleene-Stone algebras
- Notes on the representation of distributive modal algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (11)
- A topological duality for tense modal pseudocomplemented De Morgan algebras
- Title not available (Why is that?)
- De Morgan algebras with a quasi-Stone operator
- Classification of weak De Morgan algebras
- On PBZ*-lattices
- Title not available (Why is that?)
- Title not available (Why is that?)
- Discrete duality for De Morgan Algebras with operators
- Discrete duality for 3-valued Łukasiewicz–Moisil algebras
- On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras
- Relational semantics for normal topological quasi-Boolean logic
This page was built for publication: Classical modal De Morgan algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q763322)
