On canonicity of poset expansions

DOI10.1007/S00012-011-0154-ZzbMATH Open1230.03094OpenAlexW2144184910MaRDI QIDQ651383FDOQ651383

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

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

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)

Cites Work

• Modal logic
• Kripke models for linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Boolean Algebras with Operators. Part I
• Title not available (Why is that?)
• Canonical extensions and relational completeness of some substructural logics
• Bounded lattice expansions
• Constructive canonicity in non-classical logics
• Canonicity results of substructural and lattice-based logics
• A Sahlqvist theorem for relevant modal logics
• Sequent-systems and groupoid models. I
• On the canonicity of Sahlqvist identities
• Elementary canonical formulae: extending Sahlqvist's theorem
• Logics without the contraction rule
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• A new proof of Sahlqvist's theorem on modal definability and completeness
• Sequent-systems and groupoid models. II
• Title not available (Why is that?)
• Duality for algebras of relevant logics
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras

Cited In (5)

• Monotone bounded distributive lattice expansions
• Canonical extensions of posets.
• Canonical extensions and ultraproducts of polarities
• Canonicity results of substructural and lattice-based logics
• Title not available (Why is that?)

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)