Canonical extensions and Kripke-Galois semantics for non-distributive logics
DOI10.1007/S11787-018-0195-6OpenAlexW2884665404WikidataQ129501595 ScholiaQ129501595MaRDI QIDQ1632052FDOQ1632052
Authors: Chrysafis Hartonas 
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
Recommendations
- Order-dual relational semantics for non-distributive propositional logics
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II
- Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
- Modal and temporal extensions of non-distributive propositional logics
- Order-dual relational semantics for non-distributive propositional logics: a general framework
Kripke framesimplicative latticescanonical lattice extensiongeneralized Kripke framesKripke-Galois frameslogic of lattice expansionsmodal lattices
Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logical aspects of lattices and related structures (03G10)
Cites Work
- A topological representation theory for lattices
- Stone duality for lattices
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
- Title not available (Why is that?)
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- Bounded lattice expansions
- Generalized Kripke frames
- Duality for lattice-ordered algebras and for normal algebraizable logics
- Algorithmic correspondence and canonicity for distributive modal logic
- A fresh perspective on canonical extensions for bounded lattices.
- Title not available (Why is that?)
- A topological representation of lattices
- TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
- 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
Cited In (10)
- Title not available (Why is that?)
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Lattice logic as a fragment of (2-sorted) residuated modal logic
- Modal translation of substructural logics
- Reactive Kripke semantics
- B-frame duality
- Modal and temporal extensions of non-distributive propositional logics
- Algorithmic correspondence and canonicity for non-distributive logics
- Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
- Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
This page was built for publication: Canonical extensions and Kripke-Galois semantics for non-distributive logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1632052)
