Canonical extensions and Kripke-Galois semantics for non-distributive logics
DOI10.1007/s11787-018-0195-6OpenAlexW2884665404WikidataQ129501595 ScholiaQ129501595MaRDI QIDQ1632052
Publication date: 12 December 2018
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-018-0195-6
Kripke framesimplicative latticescanonical lattice extensiongeneralized Kripke framesKripke-Galois frameslogic of lattice expansionsmodal lattices
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (3)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A fresh perspective on canonical extensions for bounded lattices.
- Algorithmic correspondence and canonicity for distributive modal logic
- TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
- Generalized Kripke frames
- A topological representation of lattices
- A topological representation theory for lattices
- Stone duality for lattices
- Duality for lattice-ordered algebras and for normal algebraizable logics
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- First-order frames for orthomodular quantum logic
- Order-dual relational semantics for non-distributive propositional logics
- Modal and temporal extensions of non-distributive propositional logics
- Generalized Kripke semantics for the Lambek-Grishin calculus
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- Bounded lattice expansions
This page was built for publication: Canonical extensions and Kripke-Galois semantics for non-distributive logics
