Tense De Morgan S4-algebras

DOI10.1142/S1793557122500140zbMATH Open1491.06021MaRDI QIDQ5064355FDOQ5064355

Cecilia Segura

Publication date: 15 March 2022

Published in: Asian-European Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

tense operatorsmodal operatorsDe Morgan algebrasdiscrete duality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Lattices and duality (06D50)

Cites Work

• Representation of Distributive Lattices by means of ordered Stone Spaces
• Boolean Algebras with Operators. Part I
• Tense operators on De Morgan algebras
• Duality via Truth: Semantic frameworks for lattice-based logics
• Relational Representation Theorems for Lattices with Negations: A Survey
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• A topological duality for tense modal pseudocomplemented De Morgan algebras
• Discrete duality for Nelson algebras with tense operators
• Intuitionistic propositional logic with Galois negations

This page was built for publication: Tense De Morgan S4-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5064355)