Artículo
Abstract:
Let BℝL denote the variety of commutative integral bounded residuated lattices (bounded residuated lattices for short). A Boolean retraction term for a subvariety V of BℝL is a unary term t in the language of bounded residuated lattices such that for every A ∈ V, tA, 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 such that a variety admits the unary term t as a Boolean retraction term if and only if V ⊆ Vt. Moreover, the equation s(x) = t(x) holds in Vs∪Vt. The radical of A ∈ BℝL, 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 V ⊆ Vt is associated a variety Vr formed by the isomorphic copies of the radical algebras of the directly indecomposable algebras in V. Each free algebra in such 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 Vr, also with the same number of free generators. A hierarchy of subvarieties of BℝL admitting Boolean retraction terms is exhibited. © 2012 Springer Science+Business Media Dordrecht.
Registro:
| Documento: | Artículo |
| Título: | Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term |
| Autor: | Cignoli, R.; Torrens, A. |
| Filiación: | Departamento de Matemática Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Ciudad Universitaria, 1428 Buenos Aires, Argentina Facultat de Matemàtiques, Universitat de Barcelona, Gran Via 585, 08007 Barcelona, Spain |
| Palabras clave: | Boolean products; Boolean retraction terms; Free algebras; Residuated lattices |
| Año: | 2012 |
| Volumen: | 100 |
| Número: | 6 |
| Página de inicio: | 1107 |
| Página de fin: | 1136 |
| DOI: | http://dx.doi.org/10.1007/s11225-012-9453-4 |
| Título revista: | Studia Logica |
| Título revista abreviado: | Stud. Logica |
| ISSN: | 00393215 |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00393215_v100_n6_p1107_Cignoli |
Referencias:
- Bigelow, D., Burris, S., Boolean algebras of factor congruences (1990) Acta Sci. Math., 54, pp. 11-20
- Blok, W.J., Ferreirim, I., On the structure of hoops (2000) Algebra Univers, 43, pp. 233-257
- Burris, S., Sankappanavar, H.P., (1981) A Course in Universal Algebra Graduate Texts in Mathematics, 78. , Springer-Verlag, New York - Heidelberg - Berlin
- Burris, S., Werner, H., Sheaf constructions and their elementary properties (1979) Trans. Amer. Math. Soc., 248, pp. 269-309
- Castaño, D., Díaz-Varela, J.P., Torrens, A., Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (2011) Soft Comput., 15, pp. 1449-1456
- Cignoli, R., Free algebras in varieties of Stonean residuated lattices (2008) Soft Comput., 12, pp. 315-320
- Cignoli, R., Esteva, F., Commutative integral bounded residuated lattices with an added involution (2009) Ann. Pure Appl. Logic, 161, pp. 150-160
- Cignoli, R., Torrens, A., Boolean products of MV-algebras: Hypernormal MV-algebras (1996) J. Math. Anal. Appl., 99, pp. 637-653
- Cignoli, R., Torrens, A., Free algebras in varieties of BL-algebras with a Boolean retract (2002) Algebra Univers., 48, pp. 55-79
- Cignoli, R., Torrens, A., Glivenko like theorems in natural expansions of BCK-logics (2004) Math. Log. Quart., 50 (2), pp. 111-125
- Cignoli, R., Torrens, A., Free Algebras in varieties of Glivenko MTL-algebras satisfying the equation 2(x2) = (2x)2 (2006) Studia Logica., 83, pp. 157-181
- Davey, B., Dualities for equational classes of Brouwerian algebras and Heyting algebras (1976) Trans. Amer. Math. Soc., 221, pp. 119-146
- Galatos, N., Jipsen, P., Kowalski, T., Ono, H., (2007) Residuated Lattices: An Algebraic Glimpse at Substructural Logics, , Elsevier, New York
- Gispert I Brasó, J., Axiomatic extensions of the nilpotent minimum logic (2003) Rep. Math. Logic., 37, pp. 113-123
- Höhle, U., Commutative, residuated l-monoids (1995) Non-Classical Logics and their Applications to Fuzzy Subsets: A Handbook on the Mathematical Foundations of Fuzzy Set Theory, pp. 53-106. , In U. Höhle and E. P. Klement (eds.) Kluwer, Boston
- Jónsson, B., Algebras whose congruence lattices are distributive (1967) Math. Sacnd., 21, pp. 110-121
- Kowalski, T., Ono, H., Residuated lattices: An algebraic glimpse at logics without contraction, , Preliminary report
- Monteiro, A.A., Sur les algèbres de Heyting symmétriques (1980) Port. Math., 39, pp. 1-237
- Vaggione, D., Varieties in which the Pierce stalks are directly indecomposable (1996) J. Alg., 184, pp. 144-343
Citas:
---------- APA ----------
Cignoli, R. & Torrens, A. (2012) . Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term. Studia Logica, 100(6), 1107-1136.http://dx.doi.org/10.1007/s11225-012-9453-4
---------- CHICAGO ----------
Cignoli, R., Torrens, A. "Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term" . Studia Logica 100, no. 6 (2012) : 1107-1136.http://dx.doi.org/10.1007/s11225-012-9453-4
---------- MLA ----------
Cignoli, R., Torrens, A. "Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term" . Studia Logica, vol. 100, no. 6, 2012, pp. 1107-1136.http://dx.doi.org/10.1007/s11225-012-9453-4
---------- VANCOUVER ----------
Cignoli, R., Torrens, A. Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term. Stud. Logica. 2012;100(6):1107-1136.http://dx.doi.org/10.1007/s11225-012-9453-4
