Canonical extensions and relational completeness of some substructural logics
type: Item
instance of: scholarly article
title: Canonical extensions and relational completeness of some substructural logics
zbMATH Open document ID: 1101.03021
author: J. Michael Dunn
author: Mai Gehrke
author: Alessandra Palmigiano
published in: Journal of Symbolic Logic
publication date: 2006-01-16T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 06A06
Mathematics Subject Classification ID: 06B23
zbMATH DE Number: 2247443
zbMATH Keywords: completion of a poset
zbMATH Keywords: complete lattice
zbMATH Keywords: perfect lattice
zbMATH Keywords: Dedekind-Mac Neille completion
zbMATH Keywords: residuated algebra
zbMATH Keywords: Kripke structure
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2178/jsl/1122038911
OpenAlex ID: W1972417425
cites work: A Kripke semantics for the logic of Gelfand quantales
cites work: Kripke semantics for modal substructural logics
cites work: Boolean Algebras with Operators
cites work: Boolean Algebras with Operators. Part I
cites work: Constructive canonicity in non-classical logics
cites work: Softness of hypercoherences and MALL full completeness
cites work: Bounded distributive lattice expansions
cites work: Bounded lattice expansions
cites work: Algebraic methods in philosophical logic
cites work: On phase semantics and denotational semantics in multiplicative-additive linear logic
DOI: 10.2178/JSL/1122038911
description: scientific article; zbMATH DE number 2247443