A topological duality for tense modal pseudocomplemented De Morgan algebras
From MaRDI portal
Publication:6563197
DOI10.1515/MS-2024-0041MaRDI QIDQ6563197FDOQ6563197
Authors: Gustavo Pelaitay, Maia Starobinsky
Publication date: 27 June 2024
Published in: Mathematica Slovaca (Search for Journal in Brave)
Temporal logic (03B44) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Distributive lattices (06D99)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A topological duality for tense \(LM_n\)-algebras and applications
- An abstract algebraic logic approach to tetravalent modal logics
- Classical modal De Morgan algebras
- Coproducts of De Morgan algebras
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic
- De Morgan algebras with tense operators
- Discrete duality for De Morgan algebras with operators
- Finitely generated free tetravalent modal algebras
- Free modal pseudocomplemented De Morgan algebras
- Hilbert-style presentations of two logics associated to tetravalent modal algebras
- Localization of tetravalent modal algebras
- Modal pseudocomplemented De Morgan algebras
- On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Prime spectrum of a tetravalent modal algebra
- Principal Congruences of Pseudocomplemented Demorgan Algebras
- Pseudocomplemented Okham and Demorgan Algebras
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Semilattice structures.
- Subdirectly irreducible pseudocomplemented De Morgan algebras
- Sur quelques points de la logique de M. Brouwer.
- Tense De Morgan \(S4\)-algebras
- Tense operators on De Morgan algebras
- Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
- The poset-based logics for the De Morgan negation and set representation of partial dynamic De Morgan algebras
- Varieties of regular pseudocomplemented De Morgan algebras
This page was built for publication: A topological duality for tense modal pseudocomplemented De Morgan algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6563197)