Abstract
Given a variety \(\mathbb{V}\) of bounded residuated lattices satisfying the Stone identity \(\neg x \lor \neg\neg x = \top\), the free algebras in \(\mathbb{V}\) over a set X of cardinality |X| are represented as weak Boolean products over the Cantor space 2|X| of a family of free algebras in an associated variety of (not necessarily bounded) residuated lattices with a bottom added.
Similar content being viewed by others
References
Bigelow D, Burris S (1990) Boolean algebras of factor congruences. Acta Sci Math 54:11–20
Burris S, Werner H (1979) Sheaf constructions and their elementary properties. Trans Am Math Soc 248:269–309
Busaniche M, Cignoli R (2006) Free algebras in varieties of BL- algebras generated by a BL n -chain. J Aust Math Soc 80:419–439
Cignoli R, Torrens A (1996) Boolean products of MV-algebras: hypernormal MV-algebras. J Math Anal Appl 99:637–653
Cignoli R, Torrens A (2000a) An algebraic analysis of product logic. Mult Valued Log 5:45–65
Cignoli R, Torrens A (2000b) Free stone algebras. Discrete Math 222:251–257
Cignoli R, Torrens A (2002) Free algebras in varieties of BL-algebras with a Boolean retract. Algebra Univers 48:55–79
Cignoli R, Torrens A (2003) Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic. Arch Math Log 42:361–370
Cignoli R, Torrens A (2004) Glivenko like theorems in natural expansions of BCK-logic. Math Log Q 50:111–125
Cignoli R, Torrens A (2006) Free algebras in varieties of Glivenko MTL-algebras satisfying the equation 2(x 2) = (2x)2. Stud Log 83:157–181
Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124:271–288
Esteva F, Gispert J, Godo L, Montagna F (2002) On the standard and rational completeness of some axiomatic extensions of monoidal t-norm based logic. Stud Log 71:199–226
Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht, Boston, London
Höhle U (1995) Commutative, residuated l-monoids. In: Höhle U, Klement EP (eds) Non-classical logics and their applications to fuzzy subsets: a handbook on the mathematical foundations of fuzzy set theory. Kluwer, Boston, pp 53–106
Horn A (1969) Free L-algebras. J Symb Log 34:457–480
Jónsson B (1995) Congruence distributive varieties. Math Jpn 42:353–401
Kowalski T, Ono H (2001) Residuated lattices: an algebraic glimpse at logics without contraction. Preliminary report
Monteiro AA (1980) Sur les algèbres de Heyting symmétriques. Port Math 39:1–237
Ono H (2003) Substructural logics and residuated lattices: an introduction. In: Hendricks VF, Malinowski J (eds) Trends in logic: 50 years of studia logica. Kluwer, Dordrecht, Boston, London, pp 177–212
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cignoli, R. Free algebras in varieties of Stonean residuated lattices. Soft Comput 12, 315–320 (2008). https://doi.org/10.1007/s00500-007-0183-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-007-0183-x