Erratum to: Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2 (Studia Logica, (2006), 83, 1-3, (157-181), 10.1007/s11225-006-8302-8);Free algebras in varieties of Glivenko MTL-algebras satisfying the equation 2(x2) = (2x)2

Studia Logica

Volumn 83, Issue 1-3, 2006, Pages 157-181

  Cignoli, Roberto ^a   Torrens, Antoni ^b  

^a INSTITUTO ARGENTINO DE MATEMÁTICA   (Argentina)

^b UNIVERSITY OF BARCELONA   (Spain)

Author keywords

Boolean products; Boolean retraction property; DL algebras; Free algebras; Glivenko MTL algebras; MTL algebras; Nilpotent Minimum algebras

Indexed keywords

EID: 33746130004     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/s11225-016-9678-8     Document Type: Erratum

References (27)

1. BIGELOW, D., and S. BURRIS, 'Boolean algebras of factor congruences', Acta Sci. Math. 54 (1990), 11-20.
2. BLOK, W. J., and I. FERREIRIM, 'On the structure of hoops', Algebra Univers. 43 (2000), 233-257.
3. BLOK, W. J., and D. PIGOZZI, Algebraizable Logics, Mem. Amer. Math. Soc., 77 (1989), N. 396, vii + 78 pp.
4. BURRIS, S., and H. WERNER, 'Sheaf constructions and their elementary properties', Trans. Amer. Math. Soc. 248 (1979), 269-309.
5. CIGNOLI, R., F. ESTEVA, L. GODO, and A. TORRENS, 'Basic Logic is the Logic of continuous t-norms and their residua', Soft Comput. 4 (2000), 106-112.
6. CIGNOLI, R., and A. TORRENS, 'Boolean products of MV-algebras: hypernormal MV-algebras', J. Math. Anal Appl. 99 (1996), 637-653.
7. CIGNOLI, R., and A. TORRENS, 'Free cancellative hoops', Algebra Univer. 43 (2000), 213-216.
8. CIGNOLI, R., and A. TORRENS, 'An Algebraic Analysis of Product Logic', Multi. Val. Logic 5 (2000), 45-65.
9. CIGNOLI, R., and A. TORRENS, 'Free algebras in varieties of BL-algebras with a Boolean retract', Algebra Univers. 48 (2002), 55-79.
10. CIGNOLI, R., and A. TORRENS, 'Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic', Arch. Math. Logic 42 (2003), 361-370.
11. CIGNOLI, R., and A. TORRENS, 'Glivenko like theorems in natural expansions of BCK-logic', Math. Log. Quart. 50 (2004), 111-125.
12. CIGNOLI, R., and A. TORRENS, 'Standard completeness of Hájek Basic Logic and decompositions of BL-chains', Soft Comput. 9 (2005), 862-868.
13. DAVEY, B., 'Dualities for equational classes of Brouwerian algebras and Heyting algebras', Trans. Amer. Math. Soc. 221 (1976), 119-146.
14. DI NOLA, A., and A. LETTIERI, 'Equational characterization of all varieties of MV-algebras', J. Algebra 221 (1999), 463-474.
15. ESTEVA, F., J. GISPERT, L. GODO, and F. MONTAGNA, 'On the standard and rational completeness of some axiomatic extensions of monoidal t-norm based logic', Stud. Log. 71 (2002), 199-226.
16. ESTEVA, F., and L. GODO, 'Monoidal t-norm based logic: towards a logic for left-continuous t-norms', Fuzzy Sets Syst. 124 (2001), 271-288.
17. ESTEVA, F., L. GODO, P. HÁJEK, and F. MONTAGNA, 'Hoops and Fuzzy Logic', J. Logic Computation 134 (2003), 531-555.
18. GISPERT I BRASÓ, J., 'Axiomatic Extensions of the Nilpotent Minimum Logic', Rep. Math. Logic. 37 (2003), 113-123.
19. HÁJEK, P., Metamathematics of fuzzy logic, Kluwer, Dordrecht-Boston-London, 1998.
20. HORN, A., 'Free L-algebras', J. Symbolic Logic 34 (1969), 457-480.
21. HÓ;HLE, U., 'Commutative, residuated l-monoids', in U. Hó;hle and E. P. Klement, (eds.), Non-Classical Logics and their Applications to Fuzzy Subsets: A Handbook on the Mathematical Foundations of Fuzzy Set Theory, Kluwer, Boston, 1995, pp. 53-106.
22. JENEI, S., 'On the structure of rotation-invariant semigroups', Arch. Math. Logic 42 (2003), 489-514.
23. JENEI, S. and F. MONTAGNA, 'A Proof of Standard Completeness for Esteva and Godo's Logic MTL', Stud. Log. 70 (2002), 183-192.
24. KOWALSKI, T., and H. ONO, Residuated lattices: An algebraic glimpse at logics without contraction, JAIST preliminary report, 2000.
25. MONTEIRO, A. A., 'Sur les algèbres de Heyting symmé triques', Port. Math. 39 (1980), 1-237.
26. NOGUERA, C., F. ESTEVA, and J. GISPERT, 'Perfect and bipartite IMTL-algebras and disconnected rotations of basic semihoops', Arch. Math. Log. 44 (2005), 869-886.
27. NOGUERA, C., F. ESTEVA, and J. GISPERT, 'On some varieties of MTL-algebras', Logic J. IGPL 13 (2005), 443-446.