On canonicity of poset expansions

DOI10.1007/s00012-011-0154-zzbMath1230.03094OpenAlexW2144184910MaRDI 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 extensionposet expansionSahlqvist theorem

Mathematics Subject Classification ID

Partial orders, general (06A06) Logical aspects of lattices and related structures (03G10) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (2)

Canonical extensions of posets. ⋮ Canonical extensions and ultraproducts of polarities

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

This page was built for publication: On canonicity of poset expansions