Canonicity in subvarieties of BL-algebras
type: Item
instance of: scholarly article
title: Canonicity in subvarieties of BL-algebras
zbMATH Open document ID: 1200.03049
author: Manuela Busaniche
author: Leonardo Manuel Cabrer
published in: Algebra Universalis
publication date: 2010-09-10T00:00:00Z
review text: Canonical extensions were introduced by Jonsson and Tarski for Boolean algebras with operators and generalized for distributive lattices, lattices and posets with different internal operations. They provide an algebraic formulation of what is otherwise treated via topological duality or relational methods. In this paper, the authors study \(\sigma\)- and \(\pi\)-canonicity for subvarieties of BL-algebras. They prove that every subvariety of BL-algebras that is not finitely generated is not \(\sigma\)-canonical. Also, they prove \(\pi\)-canonicity for an infinite family of subvarieties of BL-algebras that are not finitely generated.
reviewed by: Dana Piciu
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 5782714
zbMATH Keywords: BL-algebras
zbMATH Keywords: canonical extensions
zbMATH Keywords: Wajsberg hoops
MaRDI profile type: Publication
full work available at URL: s00012-010-0055-6
OpenAlex ID: W1984350157
cites work: Varieties of BL-algebras. I: General properties.
cites work: On the structure of hoops
cites work: Q3934450
cites work: Free algebras in varieties of BL-algebras generated by a chain.
cites work: Decomposition of BL-chains
cites work: Free algebras in varieties of BL-algebras generated by a BLn-chain
cites work: Algebraic foundations of many-valued reasoning
cites work: Q4512929
cites work: A propositional calculus with denumerable matrix
cites work: Canonical extensions and relational completeness of some substructural logics
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Bounded lattice expansions
cites work: Q4313857
cites work: Bounded distributive lattice expansions
cites work: Q4674829
cites work: Metamathematics of fuzzy logic
cites work: Logic with truth values in A linearly ordered heyting algebra
cites work: Boolean Algebras with Operators. Part I
cites work: Completions of GBL-algebras: negative results
DOI: 10.1007/S00012-010-0055-6
description: scientific article; zbMATH DE number 5782714