Generalized Kripke frames
From MaRDI portal
Publication:863180
DOI10.1007/s11225-006-9008-7zbMath1115.03013OpenAlexW2028286472MaRDI QIDQ863180
Publication date: 25 January 2007
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-006-9008-7
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items
Canonical extensions of lattices are more than perfect ⋮ Relational semantics for full linear logic ⋮ Canonical extensions and Kripke-Galois semantics for non-distributive logics ⋮ The distributivity on bi-approximation semantics ⋮ Symmetric categorial grammar ⋮ Changing a Semantics: Opportunism or Courage? ⋮ Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings ⋮ Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Duality results for (co)residuated lattices ⋮ Distributive residuated frames and generalized bunched implication algebras ⋮ A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts ⋮ Duality for normal lattice expansions and sorted residuated frames with relations ⋮ Topological duality and algebraic completions ⋮ Complete Abstractions and Subclassical Modal Logics ⋮ \(\Delta_1\)-completions of a poset. ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ B-frame duality ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Unnamed Item ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Duality and canonical extensions for stably compact spaces ⋮ Topological duality and lattice expansions. II: Lattice expansions with quasioperators. ⋮ TiRS graphs and TiRS frames: a new setting for duals of canonical extensions ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ Residuated frames with applications to decidability ⋮ A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Definable operators on stable set lattices ⋮ A spectral-style duality for distributive posets ⋮ Canonical extensions and ultraproducts of polarities ⋮ Modal translation of substructural logics ⋮ Canonical extensions and relational representations of lattices with negation ⋮ Categories: How I Learned to Stop Worrying and Love Two Sorts ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ A relational semantics for the logic of bounded lattices ⋮ Canonical extensions of locally compact frames ⋮ Unnamed Item ⋮ Easkia Duality and Its Extensions
Cites Work
- A Sahlqvist theorem for distributive modal logic
- Unities and negation: On the representation of finite lattices
- Four-valued logic
- Categorial characterization of the MacNeille completion
- Information Flow
- Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
- MacNeille completions and canonical extensions
- Canonical extensions and relational completeness of some substructural logics
- Bounded lattice expansions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
