Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
type: Item
instance of: scholarly article
title: Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
zbMATH Open document ID: 1272.03162
author: Roberto Cignoli
author: Antoni Torrens
published in: Studia Logica
publication date: 2013-02-18T00:00:00Z
review text: A residuated lattice is an algebra \(\mathbf{{A}}=(A;*,\rightarrow, \vee, \wedge, \bot,\top)\) of type \((2,2,2,2,0,0)\) such that \((A;*,\top)\) is a commutative monoid, \(\mathbf{L(A)}=(A;\vee,\wedge, \top)\) is a lattice with greatest element \(\top\), and the following residuation condition holds: \(x*y\leq z\) iff \( x\leq y\rightarrow z\), where \(x,y,z\in A\) and \(\leq\) is the natural order given by the lattice structure of \textbf{A}. The residuated lattices form a variety denoted by \(\mathbb{RL}\). The subvariety of bounded residuated lattices will be denoted by \(\mathbb{BRL}\). If \(\mathbb{V}\) is a variety of bounded residuated lattices, a Boolean retraction term for \(\mathbb{V}\) is a unary term \(t\) in the language of bounded residuated lattices such that for every \(\mathbf{A} \in \mathbb{V}\), \(t^{\mathbf{A}}\) (the interpretation of the term on \(\mathbf A\)) defines a retraction from \(\mathbf{A}\) onto \(\mathbf{B(A)}\) (the set of all Boolean elements of \(\mathbf{A}\)). The aim of this paper is to investigate subvarieties of \(\mathbb{BRL}\) admitting a Boolean retraction term and Theorem 2.4 presents a necessary and sufficient condition in this sense. In Section 3, using the notion of radical of a bounded residuated lattice \(\mathbf{A}\) (that is, the intersection of its maximal implicative filters), the authors define the radical algebra \(\mathbf{r}(\mathbf{A})\) of \(\mathbf{A}\) and, for a class \(\mathbb{K}\) of bounded residuated lattices, the radical class associated to \(\mathbb{K}\) as \(\mathbb{K}^r=\mathbb{I}\{\mathbf{r(A)}: \mathbf{A}\in \mathbb{K}\}\), i.e., the class of isomorphic copies of algebras in \(\{\mathbf{r(A)}: \mathbf{A}\in \mathbb{K}\}\). Theorems 3.8 and 3.9 from this section characterize \(\mathbb{V}^r\), where \(\mathbb{V}\) is a subvariety of \(\mathbb{BRL}\), in two different situations: firstly, if \(\mathbb{V}\) admits a Boolean retraction, then \(\mathbb{V}^r\) is closed under homomorphic images and dir…
reviewed by: Florentina Chirteş
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 06F05
Mathematics Subject Classification ID: 08B20
zbMATH DE Number: 6136994
zbMATH Keywords: residuated lattices
zbMATH Keywords: Boolean products
zbMATH Keywords: Boolean retraction term
zbMATH Keywords: free algebras
MaRDI profile type: Publication
full work available at URL: s11225-012-9453-4
OpenAlex ID: W1972460988
cites work: Q3199467
cites work: On the structure of hoops
cites work: Q3934450
cites work: Sheaf Constructions and Their Elementary Properties
cites work: Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
cites work: Free algebras in varieties of Stonean residuated lattices
cites work: Commutative integral bounded residuated lattices with an added involution
cites work: Boolean products of MV-algebras: hypernormal MV-algebras
cites work: Free algebras in varieties of BL-algebras with a Boolean retract.
cites work: Glivenko like theorems in natural expansions of BCK-logic
cites work: Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
cites work: Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Q4465174
cites work: Algebras Whose Congruence Lattices are Distributive.
cites work: Varieties in which the Pierce stalks are directly indecomposable
DOI: 10.1007/S11225-012-9453-4
description: scientific article; zbMATH DE number 6136994