Tense De Morgan S4-algebras

DOI10.1142/S1793557122500140zbMATH Open1491.06021MaRDI QIDQ5064355FDOQ5064355

Authors: Cecilia Segura 

Publication date: 15 March 2022

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

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

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)