CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS

DOI10.1017/S1755020310000201zbMath1229.03023MaRDI QIDQ3005995

Tomoyuki Suzuki

Publication date: 10 June 2011

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

idealssubstructural logicsfilterslattice-based logicslattice expansionscanonicity of inequalities

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

The distributivity on bi-approximation semantics ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ Algorithmic correspondence and canonicity for distributive modal logic ⋮ Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} ⋮ On canonicity of poset expansions ⋮ A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC ⋮ Canonical extensions and ultraproducts of polarities ⋮ Unnamed Item ⋮ 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

This page was built for publication: CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS