A topological duality for tense modal pseudocomplemented De Morgan algebras

DOI10.1515/MS-2024-0041MaRDI QIDQ6563197zbMATH OpenFDO

Authors Gustavo Pelaitay, Maia Starobinsky

Publication date 27 June 2024

Published in Mathematica Slovaca (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/MS-2024-0041

zbMATH Keywords

congruencesDe Morgan algebrasPriestley dualitytense operators

Mathematics Subject Classification ID

Temporal logic (03B44) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Distributive lattices (06D99)

Cites work

• 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
• scientific article; zbMATH DE number 3887755 (Why is no real title available?)
• scientific article; zbMATH DE number 3928994 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 1236085 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 761291 (Why is no real title available?)
• scientific article; zbMATH DE number 6125205 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3060247 (Why is no real title available?)
• 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)