A duality for two-sorted lattices

DOI10.1007/S00500-020-05482-7zbMATH Open1491.06035OpenAlexW3120557254MaRDI QIDQ2156992FDOQ2156992

Authors Umberto Rivieccio, Achim Jung

Publication date 21 July 2022

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://research.birmingham.ac.uk/portal/en/publications/a-duality-for-twosorted-lattices(1d8da17a-ebbb-469e-924e-2f7de1e8a54d).html

zbMATH Keywords

Priestley dualitybilatticetwist-structureNelson algebrasemi-De Morgan algebra

Mathematics Subject Classification ID

De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Lattices and duality (06D50)

Recommendations

• Priestley duality for bilattices
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
• Dualities for structures of applied logics
• Duality via Truth: Semantic frameworks for lattice-based logics

Cites work

• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• Algebraic Semantics for Paraconsistent Nelson's Logic
• An algebraic approach to non-classical logics
• Bilattice logic properly displayed
• Bitopology and four-valued logic
• Compatibly involutive residuated lattices and the Nelson identity
• Constructible falsity
• Coproducts of De Morgan algebras
• Distributive Lattices with a Negation Operator
• Distributive envelopes and topological duality for lattices via canonical extensions.
• Dualities for modal N4-lattices
• Esakia style duality for implicative semilattices
• Four-valued modal logic: Kripke semantics and duality
• Fragments of quasi-Nelson: two negations
• Heterogeneous algebras
• Implicative twist-structures
• Kripke semantics for modal bilattice logic
• Lattice logic properly displayed
• Modal logic
• Multi-type display calculus for dynamic epistemic logic
• Multi-type display calculus for propositional dynamic logic
• Multi-type display calculus for semi De Morgan logic
• Non-involutive twist-structures
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On the representation of \(\mathbf{N4}\)-lattices
• Priestley duality for paraconsistent Nelson's logic
• Priestley style duality for distributive meet-semilattices
• Quasi-Nelson algebras
• Reasoning with logical bilattices
• Remarks on Priestley duality for distributive lattices
• Representation of De Morgan and (semi-)Kleene lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• Semi-De Morgan algebras
• Semi-de Morgan algebras
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• The product representation theorem for interlaced pre-bilattices: some historical remarks.
• Varieties of interlaced bilattices

Cited in

(5)

• Nelson algebras, residuated lattices and rough sets: A survey
• Functorial duality for ortholattices and De Morgan lattices
• Diagrammatic duality
• Duality via Truth: Semantic frameworks for lattice-based logics
• Dualities for modal N4-lattices

This page was built for publication: A duality for two-sorted lattices

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