CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS
From MaRDI portal
Publication:3005995
DOI10.1017/S1755020310000201zbMath1229.03023MaRDI QIDQ3005995
Publication date: 10 June 2011
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
ideals; substructural logics; filters; lattice-based logics; lattice expansions; canonicity of inequalities
03G10: Logical aspects of lattices and related structures
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC, Unnamed Item, The distributivity on bi-approximation semantics, Algebraic proof theory for substructural logics: cut-elimination and completions, Algorithmic correspondence and canonicity for distributive modal logic, On canonicity of poset expansions, Canonical extensions and ultraproducts of polarities, Algebraic modal correspondence: Sahlqvist and beyond, Coalgebraic completeness-via-canonicity for distributive substructural logics, Categories: How I Learned to Stop Worrying and Love Two Sorts
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- General frames for relevant modal logics
- A Sahlqvist theorem for distributive modal logic
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
- Residuated lattices. An algebraic glimpse at substructural logics
- Topology and duality in modal logic
- Sequent-systems and groupoid models. I
- Sequent-systems and groupoid models. II
- On the canonicity of Sahlqvist identities
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
- Constructive canonicity in non-classical logics
- A Sahlqvist theorem for relevant modal logics
- Duality for algebras of relevant logics
- Elementary canonical formulae: extending Sahlqvist's theorem
- Logics without the contraction rule
- A new proof of Sahlqvist's theorem on modal definability and completeness
- Canonical extensions and relational completeness of some substructural logics
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- Bounded lattice expansions