Free algebras in varieties of BL-algebras with a Boolean retract

Algebra Universalis

Volumn 48, Issue 1, 2002, Pages 55-79

  Cignoli, Roberto ^a   Torrens, Antoni ^b  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b UNIVERSITY OF BARCELONA   (Spain)

Author keywords

BL algebras; Boolean representation; Boolean retraction property; Free BL algebras; Peirce representation; Radical algebras; Radical variety

Indexed keywords

EID: 0036435271     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00012-002-8204-1     Document Type: Article

References (28)

1. P. Aglianò, I.M.A. Ferreirim, and F. Montagna, Basic hoops: An algebraic study of continuous t-norms, manuscript, 1999.
2. Balbes, R. and P.H. Dwinger, Distributive lattices, University of Missoury Press, Columbia, 1974.
3. J. Berman and W.J. Blok, The Fraser-Horn and Apple properties, Trans. Amer. Math. Soc. 302 (1987), 427-465.
4. D. Bigelow and S. Burris, Boolean algebras of factor congruences, Acta Sci. Math. 54 (1990), 11-20.
5. W.J. Blok and I.A.M. Ferreirim, On the structure of hoops, Algebra Universalis 43 (2000), 233-257.
6. S. Burris and H. Werner, Sheaf constructions and their elementary properties, Trans. Amer. Math. Soc. 248 (1979), 269-309.
7. C.C. Chang, Algebraic analysis of many-valued logics, Trans. Amer. Math. Soc. 88 (1958), 467-490.
8. C.C. Chang, A new proof of the completeness of the Lukasiewicz axioms, Trans. Amer. Math. Soc. 93 (1959), 74-80.
9. R. Cignoli, I.M. D'Ottaviano, and D. Mundici, Algebraic foundations of many-valued reasoning, Kluwer, Dordrecht-Boston-London, 2000.
10. R. Cignoli, F. Esteva, Ll. Godo, and A. Torrens, Basic Logic is the Logic of continuous t-norms and their residua, Soft Computing 4 (2000), 106-112.
11. R. Cignoli and A. Torrens, Boolean products of MV-algebras: hypernormal MV-algebras, J. Math. Analysis Appl. 99 (1996), 637-653.
12. R. Cignoli and A. Torrens, An algebraic analysis of product logic, Multiple valued Logic 5 (2000), 45-65.
13. R. Cignoli and A. Torrens, Free cancellative hoops, Algebra Universalis 43 (2000), 213-216.
14. A. Di Nola and A. Lettieri, Perfect MV-algebras are Categorically equivalent to Abelian l-groups, Studia Logica 53 (1994), 417-432.
15. H. Dobbertin, G. Hansoul, and J.C. Varlet, Two problems about perfect distributive lattices, Arch. Math. (Basel) 49 (1987), 83-90.
16. M. Dummett, A propositional calculus with denumerable matrix, J. Symb. Logic 24 (1959), 97-106.
17. K. Gödel, Zum intuitionistischen Aussagenkalkül, Anzeiger Akademie der Wissenschaften Wien, Math.-naturwissensch. Klasse 69 (1932), 65-66.
18. P. Hájek, Basic fuzzy logic and BL-algebras, Soft Computing 2 (1998), 124-128.
19. P. Hájek, Methamathematics of Fuzzy Logic, Kluwer, Dordrecht-Boston-London, 1998.
20. P. Hájek, L. Godo, and F. Esteva, A complete many-valued logic with product conjunction, Arch. Math. Logic 35 (1996), 191-208.
21. U. Höhle, Commutative, residuated l-monoids, in: Non-classical Logics and their applications to Fuzzy subsets. Kluwer Academic Publishes, Dordrecht-Boston-London, 1995, pp. 33-106.
22. A. Horn, Logic with truth values in a linearly ordered Heyting algebra, J. Symb. Logic 34 (1969), 395-408.
23. A. Horn, Free L-algebras, J. Symb. Logic 34 (1969), 475-480.
24. P.M. Idziak, Lattice operations in BCK-algebras, Math. Japonica 29 (1984), 839-846.
25. R. McNaughton, A theorem about infinite-valued sentential logic, J. Symb. Logic 16 (1951), 1-13.
26. A. Monteiro, Linéarisation de la logique positive de Hilbert Bernays, Revista Unión Mat. Arg. 20 (1962), 308-309.
27. A. Monteiro, Sur les algèbres de Heyting symètriques, Port. Math. 39 (1980), 1-237.
28. E. Turunen, Mathematics behind Fuzzy Logic, Physica-Verlag, Heidelberg, New York, 1999.