Stone duality for lattice expansions

DOI10.1093/JIGPAL/JZY010MaRDI QIDQ5095649zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cited in

(11)

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

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)