On canonicity of poset expansions

DOI10.1007/S00012-011-0154-ZMaRDI QIDQ651383zbMATHOpenAlexFDO

Authors 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) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Logical aspects of lattices and related structures (03G10)

Recommendations

• Canonicity results of substructural and lattice-based logics
• Bounded distributive lattice expansions
• Bounded lattice expansions
• Canonical extensions for congruential logics with the deduction theorem
• Jónsson-style canonicity for ALBA-inequalities

Cites work

• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 2168736 (Why is no real title available?)
• scientific article; zbMATH DE number 1453805 (Why is no real title available?)
• scientific article; zbMATH DE number 3103212 (Why is no real title available?)
• A Sahlqvist theorem for distributive modal logic
• A Sahlqvist theorem for relevant modal logics
• A new proof of Sahlqvist's theorem on modal definability and completeness
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions
• Canonical extensions and relational completeness of some substructural logics
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
• Canonicity results of substructural and lattice-based logics
• Constructive canonicity in non-classical logics
• Duality for algebras of relevant logics
• Elementary canonical formulae: extending Sahlqvist's theorem
• Kripke models for linear logic
• Logics without the contraction rule
• Modal logic
• On the canonicity of Sahlqvist identities
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• Sequent-systems and groupoid models. I
• Sequent-systems and groupoid models. II
• Topology and duality in modal logic

Cited in

(5)

• Canonical extensions and ultraproducts of polarities
• Canonical extensions of posets.
• Canonicity results of substructural and lattice-based logics
• scientific article; zbMATH DE number 5289973 (Why is no real title available?)
• Monotone bounded distributive lattice expansions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q651383)