Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term
 Roberto Cignoli,
 Antoni Torrens
 … show all 2 hide
Purchase on Springer.com
$39.95 / €34.95 / £29.95*
Rent the article at a discount
Rent now* Final gross prices may vary according to local VAT.
Abstract
Let ${\mathbb{BRL}}$ denote the variety of commutative integral bounded residuated lattices (bounded residuated lattices for short). A Boolean retraction term for a subvariety ${\mathbb{V}}$ of ${\mathbb{BRL}}$ is a unary term t in the language of bounded residuated lattices such that for every ${{\bf A} \in \mathbb{V}, t^{A}}$ , the interpretation of the term on A, defines a retraction from A onto its Boolean skeleton B(A). It is shown that Boolean retraction terms are equationally definable, in the sense that there is a variety ${\mathbb{V}_{t} \subsetneq \mathbb{BRL}}$ such that a variety ${\mathbb{V} \subsetneq \mathbb{BRL}}$ admits the unary term t as a Boolean retraction term if and only if ${\mathbb{V} \subseteq \mathbb{V}_{t}}$ . Moreover, the equation s(x) = t(x) holds in ${\mathbb{V}_{s} \cap \mathbb{V}_{t}}$ .
The radical of ${{\bf A} \in \mathbb{BRL}}$ , with the structure of an unbounded residuated lattice with the operations inherited from A expanded with a unary operation corresponding to double negation and a a binary operation defined in terms of the monoid product and the negation, is called the radical algebra of A. To each involutive variety ${\mathbb{V} \subseteq \mathbb{V}_{t}}$ is associated a variety ${\mathbb{V}^{r}}$ formed by the isomorphic copies of the radical algebras of the directly indecomposable algebras in ${\mathbb{V}}$ . Each free algebra in such ${\mathbb{V}}$ is representable as a weak Boolean product of directly indecomposable algebras over the Stone space of the free Boolean algebra with the same number of free generators, and the radical algebra of each directly indecomposable factor is a free algebra in the associated variety ${\mathbb{V}^{r}}$ , also with the same number of free generators.
A hierarchy of subvarieties of ${\mathbb{BRL}}$ admitting Boolean retraction terms is exhibited.
 Bigelow D., Burris S.: Boolean algebras of factor congruences, Acta Sci. Math. 54, 11–20 (1990)
 Blok W.J., Ferreirim I.: On the structure of hoops, Algebra Univers 43, 233–257 (2000) CrossRef
 Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra Graduate Texts in Mathematics, Vol. 78. SpringerVerlag, New York  Heidelberg  Berlin, 1981.
 Burris S., Werner H.: Sheaf constructions and their elementary properties, Trans. Amer. Math. Soc. 248, 269–309 (1979) CrossRef
 Castaño D., DíazVarela J.P., Torrens A.: Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts, Soft Comput. 15, 1449–1456 (2011) CrossRef
 Cignoli R.: Free algebras in varieties of Stonean residuated lattices, Soft Comput. 12, 315–320 (2008) CrossRef
 Cignoli R., Esteva F.: Commutative integral bounded residuated lattices with an added involution, Ann. Pure Appl. Logic 161, 150–160 (2009) CrossRef
 Cignoli R., Torrens A.: Boolean products of MValgebras: Hypernormal MValgebras, J. Math. Anal. Appl. 99, 637–653 (1996) CrossRef
 Cignoli R., Torrens A.: Free algebras in varieties of BLalgebras with a Boolean retract, Algebra Univers. 48, 55–79 (2002) CrossRef
 Cignoli R., Torrens A.: Glivenko like theorems in natural expansions of BCKlogics, Math. Log. Quart. 50(2), 111–125 (2004) CrossRef
 Cignoli R., Torrens A.: Free Algebras in varieties of Glivenko MTLalgebras satisfying the equation 2(x ^{2}) = (2x)^{2}, Studia Logica. 83, 157–181 (2006) CrossRef
 Davey B.: Dualities for equational classes of Brouwerian algebras and Heyting algebras, Trans. Amer. Math. Soc. 221, 119–146 (1976) CrossRef
 Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Elsevier, New York, 2007.
 Gispert I Brasó J.: Axiomatic extensions of the nilpotent minimum logic, Rep. Math. Logic. 37, 113–123 (2003)
 Höhle, U., Commutative, residuated lmonoids. In U. Höhle and E. P. Klement (eds.), NonClassical Logics and their Applications to Fuzzy Subsets: A Handbook on the Mathematical Foundations of Fuzzy Set Theory, Kluwer, Boston, 1995, pp. 53–106.
 Jónsson B.: Algebras whose congruence lattices are distributive, Math. Sacnd. 21, 110–121 (1967)
 Kowalski, T., and H. Ono, Residuated lattices: An algebraic glimpse at logics without contraction. Preliminary report.
 Monteiro A.A.: Sur les algèbres de Heyting symmétriques, Port. Math. 39, 1–237 (1980)
 Vaggione D.: Varieties in which the Pierce stalks are directly indecomposable, J. Alg. 184, 144–343 (1996) CrossRef
 Title
 Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term
 Journal

Studia Logica
Volume 100, Issue 6 , pp 11071136
 Cover Date
 20121201
 DOI
 10.1007/s1122501294534
 Print ISSN
 00393215
 Online ISSN
 15728730
 Publisher
 Springer Netherlands
 Additional Links
 Topics
 Keywords

 Residuated lattices
 Boolean products
 Boolean retraction terms
 Free algebras
 Authors

 Roberto Cignoli ^{(1)}
 Antoni Torrens ^{(2)}
 Author Affiliations

 1. Departamento de Matemática Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Ciudad Universitaria, 1428, Buenos Aires, Argentina
 2. Facultat de Matemàtiques, Universitat de Barcelona, Gran Via 585, 08007, Barcelona, Spain