A topological duality for tense modal pseudocomplemented De Morgan algebras
From MaRDI portal
Publication:6563197
DOI10.1515/MS-2024-0041MaRDI QIDQ6563197
Maia Starobinsky, Gustavo Pelaitay
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?)
- 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?)
- Hilbert-style presentations of two logics associated to tetravalent modal algebras
- Prime spectrum of a tetravalent modal algebra
- Classical modal De Morgan algebras
- Finitely generated free tetravalent modal algebras
- Subdirectly irreducible pseudocomplemented De Morgan algebras
- Sur quelques points de la logique de M. Brouwer.
- Varieties of regular pseudocomplemented De Morgan algebras
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic
- On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras
- Pseudocomplemented Okham and Demorgan Algebras
- Principal Congruences of Pseudocomplemented Demorgan Algebras
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Coproducts of De Morgan algebras
- An abstract algebraic logic approach to tetravalent modal logics
- Free Modal Pseudocomplemented De Morgan Algebras
- Localization of tetravalent modal algebras
- Discrete duality for De Morgan Algebras with operators
- Tense De Morgan S4-algebras
- A topological duality for tense $\boldsymbol{LM_n}$-algebras and applications1
- Tense operators on De Morgan algebras
- Representation of Distributive Lattices by means of ordered Stone Spaces
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)
