Triangular norm-based mathematical fuzzy logics

Logical, Algebraic, Analytic and Probabilistic Aspects of Triangular Norms

Volumn , Issue , 2005, Pages 275-299

  Gottwald, Siegfried ^a   Hájek, Petr ^b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84882461531     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-044451814-9/50010-0     Document Type: Chapter

References (60)

1. P. Agliano, I. M. A. Ferreirim, and F. Montagna. Basic hoops: an algebraic study of continuous t-norms. Studia Logica, to appear.
2. Agliano P., Montagna F. Varicties of BL-algebras I: general properties. J. Pure Appl. Algebra 2003, 181:105-129.
3. Aguzzoli S., Ciabattoni A. Finiteness in infinite-valued L{middle dot}ukasiewicz logic. Journ. Logic, Language and Information 2000, 9:5-29.
4. Aguzzoli S., Gerla B. Finite-valued reductions of infinite-valued logics. Archive Math. Logic 2002, 41:361-399.
5. Aguzzoli S., B.Gerla On countermodels in basic logic. Neural Network World 2002, 12:407-420.
6. Avron A. Hypersequents, logical consequence and intermediate logics for concurrency. Annals of Math. Logic and AI 1991, 4:225-248.
7. Baaz M. Infinite-valued Gödel logics with 0-1 projections and relativizations. Lecture Notes in Logic 6 1996, 23-33. Springer, New York. P. Hájek (Ed.).
8. Baaz M., Hájek P., Montagna F., Veith H. Complexity of t-tautologies. Annals of Pure and Appl. Logic 2002, 113:3-11.
9. Baaz M., Veith H. Interpolation in fuzzy logic. Archive Math. Logic 1999, 38:461-489.
10. Botta O., Delorme M. An f-sets universe V~. Fuzzy Information and Decision Processes 1982, 133-141. North-Holland, Amsterdam. M.M. Gupta, E. Sanchez (Eds.).
11. Butnariu D., Klement E.P., Zafrany S. On triangular norm-based propositional fuzzy logics. Fuzzy Sets Systems 1995, 69:241-255.
12. Cignoli R., Esteva F., Godo L., Torrens A. Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing 2000, 4:106-112.
13. Cignoli R.L.O., D'Ottaviano I.M.L., Mundici D. Algebraic Foundations of Many-Valued Reasoning 2000, Kluwer Academic Publishers, Dordrecht.
14. Cintula P. An alternative approach to the L{middle dot}π logic. Neural Network World 2001, 124:561-575.
15. Cintula P. The L{middle dot}π and L{middle dot}π1/2 propositional and predicate logics. Fuzzy Sets Systems 2001, 124:289-302.
16. Cintula P. Advances in L{middle dot}π and L{middle dot}π1/2 logics. Archive Math. Logic 2003, 42:449-468.
17. Cintula P., Navara M. Compactness of fuzzy logics. Fuzzy Sets Systems 2004, 143:59-73.
18. Nola A.di, Georgescu G., Iorgulescu A. Pseudo-BL algebras. I and II. J. Multiple-Valued Logic 2002, 8:671-750.
19. Dummett M. A propositional calculus with denumcrable matrix. Journal Symbolic Logic 1959, 24:97-106.
20. Esteva F., Gispert J., Godo L., Montagna F. On the standard completeness of some axiomatic extensions of the monoidal t-norm logic. Studia Logica 2002, 71:199-226.
21. Esteva F., Godo L. Putting together L{middle dot}ukasiewicz and product logics. Mathware and Soft Computing 1999, 6:219-234.
22. Esteva F., Godo L. Monoidal t-norm based logic: toward a logic for left-continuous t-norms. Fuzzy Sets Systems 2001, 124:271-288.
23. Esteva F., Godo L., García-Cerdaña A. On the hierarchy of t-norm based residuated fuzzy logics. Beyond Two 2003, 251-272. Physica Verlag, Heidelberg. M. Fitting, E. Orlowska (Eds.).
24. Esteva F., Godo L., Hájek P., Montagna F. Hoops and fuzzy logic. Journ. Logic and Comput. 2003, 13:531-555.
25. Esteva F., Godo L., Hájek P., Navara M. Residuated fuzzy logic with an involutive negation. Archive Math. Logic 2000, 39:103-124.
26. Esteva F., Godo L., Montagna F. The L{middle dot}π and L{middle dot}π1/2 logics: two complete fuzzy systems joining L{middle dot}ukasiewicz and product logics. Archive Math. Logic 2001, 40:39-67.
27. Flondor P., Georgescu G., Iorgulescu A. Pseudo t-norms and pseudo-BL algebras. Soft Computing 2001, 5:355-371.
28. Gerla G. Fuzzy Logic. Mathematical Tools for Approximate Reasoning 2001, Kluwer Academic Publishers, Dordrecht.
29. Gottwald S. Fuzzy Sets and Fuzzy Logic. The Foundations of Application-From a Mathematical Point of View 1993, Vieweg, Braunschweig/Wiesbaden.
30. Gottwald S. A Treatise on Many-Valued Logics 2001, Research Studies Press, Baldock.
31. Gottwald S., Jenei S. A new axiomatization for involutive monoidal t-norm based logic. Fuzzy Sets Systems 2001, 124:303-307.
32. Hájek P. Basic fuzzy logic and BL-algebras. Soft Computing 1998, 2:124-128.
33. Hájek P. Metamathematics of Fuzzy Logic 1998, Kluwer Academic Publishers, Dordrecht.
34. Hájek P. Observations on the monoidal t-norm logic. Fuzzy Sets Systems 2002, 132:107-112.
35. Hájek P. Basic fuzzy logic and BL-algebras II. Soft Computing 2003, 7:179-183.
36. Hájek P. Embedding standard BL-algebras into non-commutative pseudo-BL-algebras. Tatra Mt. Math. Publ. 2003, 27:125-130.
37. Hájek P. Fuzzy logics with non-commutative conjunctions. Journ. Logic and Comput. 2003, 13:469-479.
38. Hájek P. Observations on non-commutative fuzzy logics. Soft Computing 2003, 8:28-43.
39. P. Hájek. Fleas and fuzzy logic. J. Multiple-Valued Logic and Soft Computing, to appear.
40. Hájek P., Paris J., Shepherdson J. Rational Pavelka predicate logic is a conservative extension of L{middle dot}ukasiewicz predicate logic. Journal Symbolic Logic 2000, 65:669-682.
41. Hájek P., Tulipani S. Complexity of fuzzy probability logic. Fund. Informaticae 2001, 45:207-213.
42. Haniková Z. A note on the complexity of propositional logics of individual t-algebras. Neural Network World 2002, 12:453-460.
43. Haniková Z. On the complexity of propositional logics with involutive negation. Proceedings Third Conf. Europ. Soc. Fuzzy Logic and Technol., EUSFLAT 2003 2003, 636-639. M. Wagenknecht, R. Hampel (Eds.).
44. Hekrdla J., Klement E.P., Navara M. Two approaches to fuzzy propositional logics. J. Multiple-Valued Logic and Soft Computing 2003, 9:343-360.
45. Horčík R., Cintula P. Product L{middle dot}ukasiewicz logic. Archive Math. Logic 2004, 43:477-503.
46. Jenei S., Montagna F. A proof of standard completeness for Esteva and Godo's logic MTL. Studia Logica 2002, 70:183-192.
47. Jenei S., Montagna F. A proof of standard completeness for non-commutative monoidal t-norm logic. Neural Network World 2003, 13:481-488.
48. Klement E.P., Mesiar R., Pap E. Triangular Norms 2000, Kluwer Academic Publishers, Dordrecht.
49. E. P. Klement, R. Mesiar, and E. Pap. Triangular norms: Basic notions and properties. This volume, pages 17-60.
50. Kühr J. Pseudo-BL algebras and PRI-monoids. Mathematica Bohemica 2003, 128:199-208.
51. Metcalfe G., Olivetti N., Gabbay D. Proof theory for product logics. Neural Network World 2003, 13:549-558.
52. Novák V., Perfilieva I., Močkoř J. Mathematical Principles of Fuzzy Logic 1999, Kluwer Academic Publishers, Boston.
53. Papadimitriou C.H. Computational Complexity 1994, Addison Wesley, Reading, MA.
54. Pavelka J. On fuzzy logic. I-III. Zeitschr: math. Logik Grundl. Math. 1979, 25:45-52.
55. Pavelka J. On fuzzy logic. I-III. Zeitschr. math. Logik Grundl. Math. 1979, 25:119-134.
56. Pavelka J. On fuzzy logic. I-III. Zeitschr. math. Logik Grundl. Math. 1979, 25:447-464.
57. Takeuti G., Titani S. Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Journal Symbolic Logic 1984, 49:851-866.
58. Tarski A. Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. Monatshefte Mathematik Physik 1930, 37:361-404.
59. Turunen E. Well-defined fuzzy sentential logic. Math. Logic Quarterly 1995, 41:236-248.
60. Wójcicki R. Theory of Logical Calculi: Basic Theory of Consequence Operations 1988, Kluwer Academic Publishers, Dordrecht.