Canonical extensions for congruential logics with the deduction theorem
type: Item
instance of: scholarly article
title: Canonical extensions for congruential logics with the deduction theorem
zbMATH Open document ID: 1238.03051
author: Mai Gehrke
author: Ramon Jansana
author: Alessandra Palmigiano
published in: Annals of Pure and Applied Logic
publication date: 2011-08-26T00:00:00Z
full work available at URL: http://hdl.handle.net/2066/83460
Mathematics Subject Classification ID: 03G27
Mathematics Subject Classification ID: 06B15
Mathematics Subject Classification ID: 06B23
Mathematics Subject Classification ID: 06D20
zbMATH DE Number: 5943663
zbMATH Keywords: abstract algebraic logic
zbMATH Keywords: canonical extensions
zbMATH Keywords: deduction theorem
zbMATH Keywords: Hilbert algebras
zbMATH Keywords: Tarski algebras
MaRDI profile type: Publication
OpenAlex ID: W2143440857
cites work: Q4083730
cites work: Q4465171
cites work: Canonical extensions and relational completeness of some substructural logics
cites work: Q4715441
cites work: A survey of abstract algebraic logic
cites work: Q4313857
cites work: Monotone bounded distributive lattice expansions
cites work: Bounded distributive lattice expansions
cites work: Bounded lattice expansions
cites work: A Sahlqvist theorem for distributive modal logic
cites work: Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
cites work: Duality for double quasioperator algebras via their canonical extensions
cites work: Q3505082
cites work: Selfextensional logics with a conjunction
cites work: Q5311056
cites work: Boolean Algebras with Operators. Part I
cites work: Varieties with equationally definable principal congruences
cites work: An algebraic approach to non-classical logics
cites work: Theory of logical calculi. Basic theory of consequence operations
DOI: 10.1016/J.APAL.2010.05.003
description: scientific article; zbMATH DE number 5943663