On canonicity of poset expansions

DOI10.1007/s00012-011-0154-zzbMath1230.03094MaRDI QIDQ651383

Tomoyuki Suzuki

Publication date: 13 December 2011

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-011-0154-z

zbMATH Keywords

canonical extension; poset expansion; Sahlqvist theorem

Mathematics Subject Classification ID

06A06: Partial orders, general

03G10: Logical aspects of lattices and related structures

06A15: Galois correspondences, closure operators (in relation to ordered sets)

Related Items

Canonical extensions of posets.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Sahlqvist theorem for distributive modal logic
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
• 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
• CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS
• Kripke models for linear logic
• 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
• Bounded lattice expansions