Tense De Morgan S4-algebras

DOI10.1142/S1793557122500140MaRDI QIDQ5064355zbMATH OpenFDO

Authors Cecilia Segura

Publication date 15 March 2022

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

Full work available at URL https://doi.org/10.1142/S1793557122500140

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)

Recommendations

• Tense operators on De Morgan algebras
• De Morgan algebras with tense operators
• A topological approach to tense \(LM_{n \times m}\)-algebras
• Discrete duality for tense Łukasiewicz-Moisil algebras
• The poset-based logics for the De Morgan negation and set representation of partial dynamic De Morgan algebras

Cites work

• Boolean Algebras with Operators. Part I
• De Morgan algebras with tense operators
• Duality via Truth: Semantic frameworks for lattice-based logics
• Relational Representation Theorems for Lattices with Negations: A Survey
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Tense operators on De Morgan algebras
• The poset-based logics for the De Morgan negation and set representation of partial dynamic De Morgan algebras

Cited in

(8)

• A topological duality for tense modal pseudocomplemented De Morgan algebras
• T-rough symmetric Heyting algebras with tense operators
• De Morgan algebras with tense operators
• Algebraic structures formalizing the logic of quantum mechanics incorporating time dimension
• Tense operators on De Morgan algebras
• The poset-based logics for the De Morgan negation and set representation of partial dynamic 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)