Varieties of BL-algebras

Soft Computing

Volumn 9, Issue 12, 2005, Pages 875-888

  Di Nola, A ^a   Esteva, F ^b   Godo, L ^b   Montagna, F ^c  

^a UNIVERSITY OF SALERNO   (Italy)

^b CSIC   (Spain)

^c UNIVERSITY OF SIENA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 27644531552     PISSN: 14327643     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00500-004-0446-8     Document Type: Review

References (34)

1. Aglianó P, Ferreirim IMA, Montagna F Basic hoops: An algebriac study of continuous t-norms. Studia Logica (to appear)
2. Aglianó P, Montagna F (2003) Varieties of BL-algebras I: General properties. J Pure Appl Algebra 181:105-129
3. Belluce LP, Di Nola A, Lettieri A (1993) Local MV-algebras. Rend Circ Mat Palermo 42:347-361
4. Blok WJ, Ferreirim IMA (2000) On the structure of hoops. Algebra Universalis 43:233-257
5. Burris S, Sankappanavar HP (1981) A course in Universal Algebra, Graduate texts in Mathematics, Springer, Berlin Heidelberg New York
6. Busaniche M (2005) Decomposition of BL-chains. To appear in Algebra Universalis Vd. 52, Number 4, 519-525
7. Chang CC (1958) Algebraic analysis of many-valued logic. Trans Am Math Soc 88:467-490
8. Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing 4:106-112
9. Cignoli R, D'Ottaviano IML, Mundici D (2000) Algebraic Foundations of Many-valued Reasoning, Kluwer, Doredrecht
10. Cignoli R, Torrens A (2000) An algebraic analysis of product logic. Mult Val Logic 5:45-65
11. Cignoli R, Torrens A (2003) Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic. Arch Math Logic 42:361-370
12. Di Nola A, Lettieri A (1994) Perfect MV-algebras are categorically equivalent to abelian ℓ-groups. Studia Logica 53:417-432
13. Di Nola A, Lettieri A (1999) Equational characterization of all varities of MV algebras. J Algebra 22:463-474
14. Di Nola A, Esteva F, Garcia P, Godo L, Sessa S (2002) Subvarieties of BL-algebras generated by single-component chains. Arch Math Logic 41:673-685
15. Di Nola A, Sessa S, Esteva F, Godo L, Garcia P (2002) The variety generated by perfect BL-algebras: An algebraic approach in a fuzzy logic setting. Ann Math Artif Intell 35:197-214
16. Esteva F, Godo L, Montagna F (2004) Equational Characterization of the Subvarieties of BL Generated by T-Norm Algebras Studia logica 76, 161-200
17. Ferreirim IMA (1992) On varieties and quasi varieties of hoops and their reducts. PhD Thesis, University of Illinois
18. Gispert J (2002) Universal classes of MV-chains with applications to many valued logics. Math Logic Q 48:581-601
19. Gispert J, Mundici D, Torrens A (1999) Ultraproducts of Z with an Application to Many-Valued Logics. J Algebra 219:214-233
20. Gottwald S (2001) A Treatise on Many-valued Logics. Studies in logic and computation, Research Studies Press, Baldock
21. Grigolia RS (1977) Algebraic Analysis of Lukasiewicz-Tarski's n-valued logical systems. pp 81-92 In: Wojcicki AR, Malinowski G (eds) Selected papers on Lukasiewicz sentential calculus. Ossolineum, Wroclaw
22. Hájek P (1998) Metamathematics of fuzzy logic. In: Trends in logic-studia logica library, vol 4. Kluwer, Dordercht/Boston/London
23. Hájek P (1998) Basic fuzzy logic and BL-algebras. Soft Computing 2:124-128
24. Haniková Z (2002) A note on propositional tautologies of individual continuous t-norms vol 12. Neural Netw World (5) 453-460
25. Hecht T, Katrinak T (1972) Equational classes of relative Stone algebras. Notre Dame J Formal Logic 13:248-254
26. Komori Y (1981) Super- Łukasiewicz implicational logics. Nagoya Math J 84:1119-133
27. Laskowski MC, Shashoua YV (2002) A classification of BL-algebras. Fuzzy Sets Syst 131:271-282
28. Mostert PS, Shields AL (1957) On the structure of semigroups on a compact manifold with boundary. Ann Math 65:117-143
29. Mundici D (1986) Interpretations of AFC*-algebras in Łukasiewicz sentential calculus. J Funct Anal 65:15-63
30. Panti G (1999) Varieties of MV algebras. J Appl Non-Classical Logic 9:141-157
31. Rodríuez AJ, Torrens A (1994) Wajsberg algebras and Post algebras. Studia Logica 53:1-19
32. Turunen E, Sessa S (2001) Local BL-algebras. Int J Multiple Valued Logic 6:229-249
33. Turunen E (1999) BL-algebras and fuzzy logic. Mathware and Soft Comput 1:49-61
34. Turunen E (2001) Boolean deductive systems of BL-algebras. Arch Math Logic 40:467-473