Tense De Morgan S4-algebras
From MaRDI portal
Publication:5064355
DOI10.1142/S1793557122500140zbMath1491.06021MaRDI QIDQ5064355
Publication date: 15 March 2022
Published in: Asian-European Journal of Mathematics (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Lattices and duality (06D50) Other algebras related to logic (03G25) Temporal logic (03B44) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Related Items (2)
Discrete duality for Nelson algebras with tense operators ⋮ Intuitionistic propositional logic with Galois negations
Cites Work
- Unnamed Item
- Unnamed Item
- Tense operators on De Morgan algebras
- Relational Representation Theorems for Lattices with Negations: A Survey
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Duality via Truth: Semantic frameworks for lattice-based logics
- Boolean Algebras with Operators. Part I
This page was built for publication: Tense De Morgan S4-algebras
