Stone duality for lattice expansions

DOI10.1093/JIGPAL/JZY010zbMATH Open1492.06003OpenAlexW2800290092WikidataQ130116804 ScholiaQ130116804MaRDI QIDQ5095649FDOQ5095649

Authors: Chrysafis Hartonas 

Publication date: 10 August 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzy010

Recommendations

• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II
• Discrete duality for lattices with modal operators
• Canonical extensions of Stone and double Stone algebras: the natural way

zbMATH Keywords

substructural logicsresiduated framesStone dualityKripke frameslattice expansionsrelational representationBCKgeneralized Kripke framesKripke-Galois frameslogics of lattice expansionscanonical lattice extensions

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Representation theory of lattices (06B15) BCK-algebras, BCI-algebras (06F35) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Lattices and duality (06D50)

Cited In (11)

• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Choice-free topological duality for implicative lattices and Heyting algebras
• Modal translation of substructural logics
• Relational Methods in Computer Science
• Duality for normal lattice expansions and sorted residuated frames with relations
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
• B-frame duality
• Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
• Duality results for (co)residuated lattices
• Algorithmic correspondence and canonicity for non-distributive logics
• Discrete duality for lattices with modal operators

This page was built for publication: Stone duality for lattice expansions

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