Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic

Archive for Mathematical Logic

Volumn 42, Issue 4, 2003, Pages 361-370

  Cignoli, Roberto ^a   Torrens, Antoni ^b  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b UNIVERSITY OF BARCELONA   (Spain)

Author keywords

ukasiewicz logic; Basic fuzzy logic; BL algebras; Glivenko's theorem; MV algebras

Indexed keywords

EID: 0038540368     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530200144     Document Type: Article

References (18)

1. Aglianò, P., Ferreirim, I.M.A., Montagna, F.: Basic hoops: An algebraic study of continuous t-norms. Manuscript. 1999
2. Balbes, R., Dwinger, P.H.: Distributive lattices, University of Missoury Press, Columbia Mo., 1974
3. Baaz, M., Hájek, P., Montagna, F., Veith, H.: Complexity of t-Taulogies. Ann. Pure Appl. Logic., to appear
4. Cignoli, R., D'Ottaviano, I.M., Mundici, D.: Algebraic foundations of many-valued reasoning, Kluwer, Dordrecht-Boston-London, 2000
5. Cignoli, R., Esteva, P., Godo, Ll., Torrens, A.: Basic Logic is the Logic of continuous t-norms and their residua, Soft Computing, 4, 106-112 (2000)
6. Cignoli, R., Torrens, A.: An algebraic analysis of product logic, Multiple Valued Logic, 5, 45-65 (2000)
7. Cignoli, R., Torrens, A.: Free algebras in varieties of BL-algebras with a boolean retract. Alg. Universalis, to appear.
8. Di Nola, A., Georgescu, G., Leusteau, L.: Boolean products of BL-algebras, J. Math. Analysis Appl. 251, 106-131 (2000)
9. Dummett, M.: A propositional calculus with denumerable matrix, J. Symb. Logic 24, 97-106 (1959)
10. Esteva, F., Godo, Ll., Hájek, P., Navara, M.: Residuated fuzzy logic with an involutive negation, Arch. Math. Logic 39, 103-124 (2000)
11. Glivenko, V.: Sur quelques points de la logique de M. Brouwer, Bull. Acad. des Sci. de Belgique, 15, 183-188 (1929)
12. Hájek, P.: Basic fuzzy logic and BL-algebras, Soft Computing 2, 124-128 (1998)
13. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht-Boston-London, 1998
14. Höhle, U.: Commutative, residuated 1-monoids. In: Non-classical Logics and their applications to Fuzzy subsets. Kluwer Academic Publishes, Dordrecht-Boston-London, p. 33-106, 1995
15. Horn, A.: Logic with truth values in a linearly ordered Heyting algebra, J. Symb. Logic 34, 395-408 (1969)
16. Horn, A.: Free L-algebras, J. Symb. Logic 34, 475-480 (1969)
17. Turunen, E.: Mathematics behind Fuzzy Logic, Physica-Verlag, Heidelberg-New York, 1999
18. Turunen, E., Sessa, S.: Local BL-algebras, Multiple Valued Logic, to appear