On canonicity of poset expansions
From MaRDI portal
Publication:651383
DOI10.1007/s00012-011-0154-zzbMath1230.03094MaRDI QIDQ651383
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
06A06: Partial orders, general
03G10: Logical aspects of lattices and related structures
06A15: Galois correspondences, closure operators (in relation to ordered sets)
Related Items
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item