Order-dual relational semantics for non-distributive propositional logics: a general framework

DOI10.1007/s10992-016-9417-7zbMath1436.03168OpenAlexW2559154662MaRDI QIDQ1702978

Chrysafis Hartonas

Publication date: 1 March 2018

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-016-9417-7

zbMATH Keywords

relational semanticssubstructural logicsnon-classical logicsgeneralized Galois logicsgaggleslogics of lattice expansionsnon-distributive logics

Mathematics Subject Classification ID

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

Logic prizes \textit{et cætera} ⋮ Canonical extensions and Kripke-Galois semantics for non-distributive logics ⋮ Duality results for (co)residuated lattices ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ B-frame duality ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Categories: How I Learned to Stop Worrying and Love Two Sorts

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Negation in the context of gaggle theory
• Generalized Kripke frames
• Residuated lattices. An algebraic glimpse at substructural logics
• On some intuitionistic modal logics
• A topological representation theory for lattices
• Stone duality for lattices
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Semantic analysis of orthologic
• On an intuitionistic modal logic
• First-order modal logic
• Minimal varieties of residuated lattices
• A completeness theorem in modal logic
• Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators
• Logics without the contraction rule
• First-order frames for orthomodular quantum logic
• Modal and temporal extensions of non-distributive propositional logics
• Residuated frames with applications to decidability
• Generalized Kripke semantics for the Lambek-Grishin calculus
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Semantic analysis of tense logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Topological representations of distributive lattices and Brouwerian logics
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions