On canonicity of poset expansions
type: Item
instance of: scholarly article
title: On canonicity of poset expansions
zbMATH Open document ID: 1230.03094
author: Tomoyuki Suzuki
published in: Algebra Universalis
publication date: 2011-12-13T00:00:00Z
Mathematics Subject Classification ID: 03G10
Mathematics Subject Classification ID: 06A06
Mathematics Subject Classification ID: 06A15
zbMATH DE Number: 5988044
zbMATH Keywords: canonical extension
zbMATH Keywords: poset expansion
zbMATH Keywords: Sahlqvist theorem
MaRDI profile type: Publication
full work available at URL: s00012-011-0154-z
OpenAlex ID: W2144184910
cites work: Kripke models for linear logic
cites work: Q5841991
cites work: Modal logic
cites work: Q4530231
cites work: Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
cites work: Sequent-systems and groupoid models. I
cites work: Sequent-systems and groupoid models. II
cites work: Q4342081
cites work: Canonical extensions and relational completeness of some substructural logics
cites work: Bounded lattice expansions
cites work: A Sahlqvist theorem for distributive modal logic
cites work: Q4674829
cites work: Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
cites work: Constructive canonicity in non-classical logics
cites work: Elementary canonical formulae: extending Sahlqvist's theorem
cites work: Q4955600
cites work: On the canonicity of Sahlqvist identities
cites work: Boolean Algebras with Operators. Part I
cites work: Logics without the contraction rule
cites work: Q3701398
cites work: Q4081211
cites work: Topology and duality in modal logic
cites work: A new proof of Sahlqvist's theorem on modal definability and completeness
cites work: A Sahlqvist theorem for relevant modal logics
cites work: CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS
cites work: Duality for algebras of relevant logics
DOI: 10.1007/S00012-011-0154-Z
description: scientific article; zbMATH DE number 5988044