Tense De Morgan S4-algebras
From MaRDI portal
Publication:5064355
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
(6)- Tense operators on De Morgan algebras
- The poset-based logics for the De Morgan negation and set representation of partial dynamic De Morgan algebras
- De Morgan algebras with tense operators
- 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)