Mathematical fuzzy logics

Bulletin of Symbolic Logic

Volumn 14, Issue 2, 2008, Pages 210-239

  Gottwald, Siegfried ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

Algebraic semantics; Fuzzy logics; Infinite valued logics; Residuated lattices; Triangular norm based logics

Indexed keywords

EID: 44949264040     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2178/bsl/1208442828     Document Type: Article

References (120)

1. PAOLO AGLIANÓ, ISABEL M. A. FERREIRIM, and FRANCO MONTAGNA, Basic hoops: an algebraic study of continuous t-norms, Studia Logica, vol. 87 (2007), pp. 73-98.
2. STEFANO AGUZZOLI and AGATA CIABATTONI, Finiteness in infinite-valued Łukasiewicz logic, Journal of Logic, Language and Information, vol. 9 (2000), pp. 5-29.
3. STEFANO AGUZZOLI and BRUNELIA GERLA, Finite-valued reductions of infinite-valued logics, Archive for Mathematical Logic, vol. 41 (2002), pp. 361-399.
4. _ , On countermodels in basic logic, Neural Network World, vol. 12 (2002), pp. 407-420.
5. CLAUDI ALSINA, MAURICE J. FRANK, and BERTHOLD SCHWEIZER, Associative functions. Triangular norms and copulas, World Scientific Publishing Co., Hackensack, NJ, 2006.
6. ARNON AVRON, Hypersequents, logical consequence and intermediate logics for concurrency, Annals of Mathematics and Artificial Intelligence, vol. 4 (1991), pp. 225-248.
7. MATTHIAS BAAZ, Infinite-valued Gödel logics with 0-1 projections and relativizations, Gödel '96 (P. Hájek, editor), Lecture Notes in Logic 6, Springer, Berlin, 1996, pp. 23-33.
8. MAATTHIAS BAAZ, AGATA CIABATTONI, and FRANCO MONTAGNA, Analytic calculi for monoidal t-norm based logic, Fundamenta Informaticae, vol. 59 (2004), pp. 315-332.
9. MATTHIAS BAAZ, PETR HÁJEK, FRANCO MONTAGNA, and HELMUT VEITH, Complexity of t-tautologies, Annals of Pure and Applied Logic, vol. 113 (2002), pp. 3-11.
10. MATTHIAS BAAZ and HELMUT VEITH, Interpolation in fuzzy logic, Archive for Mathematical Logic, vol. 38 (1999), pp. 461-489.
11. LIBOR BĚHOUNEK and PETR CINTULA, Fuzzy class theory, Fuzzy Sets and Systems, vol. 154 (2005), pp. 34-55.
12. _ , Fuzzy logics as the logics of chains. Fuzzy Sets and Systems, vol. 157 (2006), pp. 604-610.
13. RADIM BĚLOHLÁVEK, Fuzzy closure operators, Journal of Mathematical Analysis and Applications, vol. 262 (2001), pp. 473-489.
14. _ , Fuzzy relational systems: Foundations and principles, IFSR International Series on Systems Science and Engineering, vol. 20, Kluwer Academic Publishers, New York. 2002.
15. RADIM BĚLOHLÁVEK and VILÉ M VYCHODIL, Fuzzy Horn logic. I. Proof theory, Archive for Mathematical Logic, vol. 45 (2006), pp. 3-51.
16. _ , Fuzzy Horn logic. II. Implicationally defined classes, Archive for Mathematical Logic, vol. 45 (2006), pp. 149-177.
17. LOREDANA BIACINO, GIANGIACOMO GERLA, and YING MING SHENG, Approximate reasoning based on similarity, Mathematical Logic Quarterly, vol. 46 (2000), pp. 77-86.
18. DIONIS BOIXADER and JUAN JACAS, Extensionality based approximate reasoning, International Journal of Approximate Reasoning, vol. 19 (1998), pp. 221-230.
19. STANLEY BURRIS and H.P. SANKAPPANAVAR, A course in universal algebra, Springer, New York, 1981.
20. DAN BUTNARIU, ERICH PETER KLEMENT, and SAMY ZAFRANY, On triangular norm-based propositional fuzzy logics, Fuzzy Sets and Systems, vol. 69 (1995), pp. 241-255.
21. J. LUIS CASTRO, ENRIC TRILLAS, and SUSANA CUBILLO, On consequence in approximate reasoning, Journal of Applied Non-Classical Logics, vol. 4 (1994), pp. 91-103.
22. MIHIR K. CHAKRABORTY, Use of fuzzy set theory in introducing graded consequence in multiple valued logic, Fuzzy logic in knowledge systems, decision, and control (M. M. Gupta and T. Yamakawa, editors), North-Holland Publishing Company, Amsterdam, 1988, pp. 247-257.
23. AGATA CIABATTONI, CHRISTIAN FERMÜLLER, and GEORGE METCALFE, Uniform rules and dialogue games for fuzzy logics, Logic for programming, artificial intelligence, and reasoning, Lecture Notes in Computer Science, vol. 3452, Springer, Berlin, 2005, pp. 496-510.
24. ROBERTO CIGNOLI, FRANCESC ESTEVA, LLUÍS GODO, and ANTONI TORRENS, Basic fuzzy logic is the logic of continuous t-norms and their residua, Soft Computing, vol. 4 (2000), pp. 106-112.
25. PETR CINTULA, An alternative approach to the Łπ logic, Neural Network World, vol. 124 (2001), pp. 561-575.
26. _ , The Łπ and Łπ 1/2 propositional and predicate logics, Fuzzy Sets and Systems, vol. 124 (2001), pp. 289-302.
27. _ , Advances in Łπ and Łπ 1/2 logics, Archive for Mathematical Logic, vol. 42 (2003), pp. 449-468.
28. _ , Weakly implicative (fuzzy) logics I: Basic properties, Archive for Mathematical Logic, vol. 45 (2006), pp. 673-704.
29. PETR CINTULA, FRANCESC ESTEVA, JOAN GISPERT, LLLUÍS GODO, FRANCO MONTAGNA, and CARLES NOGUERA, Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalences, submitted, 2007.
30. PETR CINTULA, PETR HÁJEK, and ROSTISLAV HORČÍK, Formal systems of fuzzy logic and their fragments, Annals of Pure and Applied Logic, vol. 150 (2007), pp. 40-65.
31. PETR CINTULA and MIRKO NAVARA, Compactness of fuzzy logics, Fuzzy Sets and Systems, vol. 143 (2004), pp. 59-73.
32. KLAUS DENECKE and SHELLY L. WISMATH, Universal algebra and applications in theoretical computer science, Chapman & Hall/CRC, Boca Raton/FL, 2002.
33. ANTONIO DI NOLA, GEORGE GEORGESCU, and AFRODITA IORGULESCU, Pseudo-BL algebras. I and II, Journal of Multiple-Valued Logic, vol. 8 (2002), pp. 671-750.
34. XAVIER DOMINGO, ENRIC TRILLAS, and LLORENC VALVERDE, Pushing Łukasiewicz-Tarski implication a little farther, Proceedings of the 11th International Symposium on Multiple-Valued Logic, Norman/Oklahoma, 1981, IEEE Computer Society, New York, 1981, pp. 232-243.
35. DIDIER DUBOIS, FRANCESC ESTEVA, PERE GARCIA, LLUÍS GODO, and HENRI PRADE, A logical approach to interpolation based on similarity relations, International Journal of Approximate Reasoning, vol. 17 (1997), pp. 1-36.
36. J. MICHAEL DUNN and GARY M. HARDEGREE, Algebraic methods in philosophical logic, Oxford Logic Guides, vol. 41, Oxford University Press, Oxford, 2001.
37. ANATOLIJ DVUREČENSKIJ and SYLVIA PULMANNOVÁ, New trends in quantum structures, Mathematics and Its Applications, vol. 516, Kluwer Academic Publishers, Dordrecht, 2000.
38. FRANCESC ESTEVA, JOAN GISPERT, LLUÍS GODO, and CARLES NOGUERA, Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results, Fuzzy Sets and Systems, vol. 158 (2007), pp. 597-618.
39. FRANCESC ESTEVA and LLUÍS GODO, Putting together Łukasiewicz and product logics, Mathware & Soft Computing, vol. 6 (1999), pp. 219-234.
40. _ , Monoidal t-norm based logic: toward a logic for left-continuous t-norms, Fuzzy Sets and Systems, vol. 124 (2001), pp. 271-288.
41. FRANCESC ESTEVA, LLUÍS GODO, and ÀNGEL GARCÍA-CERDAÑA, On the hierarchy of t-norm based residuated fuzzy logics, Beyond two: theory and applications of multiple-valued logic (M. Fitting and E. Orłowska, editors), Studies in Fuzziness and Soft Computing, vol. 114, Physica, Heidelberg, 2003, pp. 251-272.
42. FRANCESC ESTEVA, LLUÍS GODO, PETR HÁJEK, and FRANCO MONTAGNA, Hoops and fuzzy logic, Journal of Logic and Computation, vol. 13 (2003), pp. 531-555.
43. FRANCESC ESTEVA, LLUÍS GODO, PETR HÁJEK, and MIRKO NAVARA, Residuated fuzzy logic with an involutive negation, Archive for Mathematical Logic, vol. 39 (2000), pp. 103-124.
44. FRANCESC ESTEVA, LLUÍS GODO, and FRANCO MONTAGNA, The Łπ and Łπ1/2 logics: two complete fuzzy systems joining Łukasiewicz and product logics, Archive for Mathematical Logic, vol. 40 (2001), pp. 39-67.
45. _ , Equational characterization of the subvarieties of BL generated by t-norm algebras, Studia Logica, vol. 76 (2004), pp. 161-200.
46. CHRISTIAN FERMÜLLER, Parallel dialogue games and hypersequents for intermediate logics, TABLEAUX 2003 (M. C. Mayer and F. Pirri, editors), Lecture Notes in Computer Science, vol. 2796, Springer, Rome, 2003, pp. 48-64.
47. PAUL FLONDOR, GEORGE GEORGESCU, and AFRODITA IORGULESCU, Pseudo t-norms and pseudo-BL algebras, Soft Computing, vol. 5 (2001), pp. 355-371.
48. NIKOLAOS GALATOS, PETER JIPSEN, TOMASZ KOWALSKI, and HIROAKIRA ONO, Residuated lattices: An algebraic glimpse at substructural logics, Studies in Logic and the Foundations of Mathematics, vol. 151, North-Holland Publishing Company, Amsterdam, 2007.
49. GIANGIACOMO GERLA, Fuzzy logic. Mathematical tools for approximate reasoning, Trends in Logic, Studia Logica Library, vol. 11, Kluwer Academic Publishers, Dordrecht, 2001.
50. ROBIN GILES, Łukasiewicz logic and fuzzy set theory, International Journal of Man-Machine Studies, vol. 8 (1976), pp. 313-327.
51. LLUÍS GODO and PETR HÁJEK, Fuzzy inference as deduction, Journal of Applied Non-Classical Logics, vol. 9 (1999), no. 1, pp. 37-60.
52. JOSEPH A. GOGUEN, The logic of inexact concepts, Synthese, vol. 19 (1968-69), pp. 325-373.
53. SIEGFRIED GoTTWALD, Fuzzy propositional logics, Fuzzy Sets and Systems, vol. 3 (1980), pp. 181-192.
54. _ , A generalized Łukasiewicz-style identity logic, Mathematical logic and formal systems (L. P. de Alcantara, editor), Lecture Notes in Pure and Applied Mathematics 94, Marcel Dekker, New York, 1985, pp. 183-195.
55. _ , Fuzzy sets and fuzzy logic. The foundations of application - from a mathematical point of view, Artificial Intelligence, Vieweg, Braunschweig/Wiesbaden, 1993.
56. _ , A treatise on many-valued logics, Studies in Logic and Computation, vol. 9, Research Studies Press, Baldock, 2001.
57. _ , Mathematical fuzzy logic as a tool for the treatment of vague information, Information Sciences, vol. 172 (2005), pp. 41-71.
58. _ , Universes of fuzzy sets and axiomatizations of fuzzy set theory. Part I: Model-based and axiomatic approaches, Studia Logica, vol. 82 (2006), pp. 211-244.
59. _ , Universes of fuzzy sets and axiomatizations of fuzzy set theory. Part II: Category theoretic approaches, Studia Logica, vol. 84 (2006), pp. 23-50.
60. _ , Mathematical fuzzy logic: An invitation to interesting research areas, Fundamenta Informaticae, vol. 81 (2007), pp. 123-137.
61. SIEGFRIED GOTTWALD and PETR HÁJEK, T-norm based mathematical fuzzy logics, Logical, algebraic, analytic, and probabilistic aspects of triangular norms (E. P. Klement and R. Mesiar, editors), Elsevier, Dordrecht, 2005, pp. 275-299.
62. SIEGFRIED GOTTWALD and SÁNDOR JENEI, A new axiomatization for involutive monoidal t-norm based logic, Fuzzy Sets and Systems, vol. 124 (2001), pp. 303-307.
63. PETR HÁJEK, Basic fuzzy logic and BL-algebras, Soft Computing, vol. 2 (1998), pp. 124-128.
64. _ , Metamathematics of fuzzy logic, Trends in Logic, Studia Logica Library, vol. 4, Kluwer Academic Publishers, Dordrecht, 1998.
65. _ , Fuzzy logic and arithmetical hierarchy III, Studia Logica, vol. 68 (2001), pp. 129-142.
66. _ , Basic fuzzy logic and BL-algebras II, Soft Computing, vol. 7 (2003), pp. 179-183.
67. _ , Embedding standard BL-algebras into non-commutative pseudo-BL-algebras, Tatra Mountains Mathematical Publications, vol. 27 (2003), pp. 125-130.
68. _ , Fuzzy logics with non-commutative conjunctions, Journal of Logic and Computation, vol. 13 (2003), pp. 469-479.
69. _ , Observations on non-commutative fuzzy logics, Soft Computing, vol. 8 (2003), pp. 28-43.
70. _ , Fuzzy logic and arithmetical hierarchy IV, First-order logic revised (V. Hendricks, F. Neuhaus, S. A. Pedersen, U. Scheffler, and H. Wansing, editors), Logos Verlag, Berlin, 2004, pp. 107-115.
71. _ , Arithmetical complexity of fuzzy predicate logics - a survey, Soft Computing, vol. 9 (2005), no. 12, pp. 935-941.
72. _ , Fleas and fuzzy logic, Multiple-Valued Logic and Soft Computing, vol. 11 (2005), pp. 137-152.
73. _ , On arithmetic in Cantor-Łukasiewicz fuzzy set theory, Archive for Mathematical Logic, vol. 44 (2005), pp. 763-782.
74. PETR HÁJEK and PETR CINTULA, Triangular norm based predicate fuzzy logics, Fuzzy logic and related structures (E. P. Klement et al., editors), Proceedings of the Linz Seminar on Fuzzy Set Theory 2005, in print.
75. _ , On theories and models in fuzzy predicate logics, The Jounal of Symbolic Logic, vol. 71 (2006), pp. 863-880.
76. PETR HÁJEK, LLUÍS GODO, and FRANCESC ESTEVA, A complete many-valued logic with product-conjunction, Archive for Mathematical Logic, vol. 35 (1996), pp. 191-208.
77. PETR HÁJEK and ZUZANA HANIKOVÁ, A development of set theory in fuzzy logic, Beyond two: theory and applications of multiple-valued logic (M. Fitting and E. Orłowska, editors), Studies in Fuzziness and Soft Computing, Physica-Verlag, Heidelberg, 2003, pp. 273-285.
78. PETR HÁJEK and VILÉM NOVÁK, The sorites paradox and fuzzy logic, International Journal of General Systems, vol. 32 (2003), no. 4, pp. 373-383.
79. PETR HÁJEK, JEFF PARIS, and JOHN C. SHEPHERDSON, Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic, The Journal of Symbolic Logic, vol. 65 (2000), pp. 669-682.
80. ZUZANA HANIKOVÁ, Standard algebras for fuzzy propositional calculi, Fuzzy Sets and Systems, vol. 124 (2001), pp. 309-320.
81. _ , A note on the complexity of propositional logics of individual t-algebras, Neural Network World, vol. 12 (2002), pp. 453-460.
82. _ , Mathematical and metamathematical properties of fuzzy logic, Ph.D. thesis, Charles University, Prague, 2003.
83. JOSEF HEKRDLA, ERICH PETER KLEMENT, and MIRKO NAVARA, Two approaches to fuzzy propositional logics, Multiple-Valued Logic and Soft Computing, vol. 9 (2003), pp. 343-360.
84. ULRICH HÖHLE, Commutative, residuated l-monoids, Non-classical logics and their applications to fuzzy subsets (U. Höhle and E. P. Klement, editors), Theory and Decision Library, Series B, 32, Kluwer Academic Publ., Dordrecht, 1995, pp. 53-106.
85. SÁNDOR JENEI and FRANCO MONTAGNA, A proof of standard completeness for Esteva and Godo's logic MTL, Studia Logica, vol. 70 (2002), pp. 183-192.
86. _ , A proof of standard completeness for non-commutative monoidal t-norm logic, Neural Network World, vol. 13 (2003), pp. 481-488.
87. DIETER KLAUA, Über einen Ansatz zur mehrwertigen Mengenlehre, Monatsberichte der Deutschen Akademie der Wissenschaften Berlin, vol. 7 (1965), pp. 859-867.
88. _ , Über einen zweiten Ansatz zur mehrwertigen Mengenlehre, Monatsberichte der Deutschen Akademie der Wissenschaften Berlin, vol. 8 (1966), pp. 161-177.
89. _ , Ein Ansatz zur mehrwertigen Mengenlehre, Mathematische Nachrichten, vol. 33 (1967), pp. 273-296.
90. ERICH PETER KLEMENT, RADKO MESIAR, and ENDRE PAP, Triangular norms, Kluwer Academic Publishers, Dordrecht, 2000.
91. TOMASZ KOWALSKI and HIROAKIRA ONO, Fuzzy logics from a substructural perspective, Fuzzy logic and related structures (E. P. Klement et al., editors), Proceedings of the Linz Seminar on Fuzzy Set Theory 2005, in print.
92. JAN KÜHR, Pseudo BL-algebras and DRl-monoids, Mathematica Bohemica, vol. 128 (2003), pp. 199-208.
93. GEORGE METCALFE and FRANCO MONTAGNA, Fuzzy logics based on [0, 1)-continuous uninorms, Archive for Mathematical Logic, vol. 46 (2007), pp. 425-469.
94. _ , Substructural fuzzy logics, The Journal of Symbolic Logic, vol. 72 (2007), pp. 834-864.
95. GEORGE METCALFE, NICOLA OLIVETTI, and DOV GABBAY, Proof theory for product logics, Neural Network World, vol. 13 (2003), pp. 549-558.
96. _ , Łukasiewicz logic: from proof systems to logic programming, Logic Journal of the Interest Group in Pure and Applied Logics, vol. 13 (2005), pp. 561-585.
97. _ , Sequent and hypersequent calculi for abelian and Łukasiewicz logics, ACM Transactions on Computational Logic, vol. 6 (2005), pp. 578-613.
98. FRANCO MONTAGNA and HIROAKIRA ONO, Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTLA, Studia Logica, vol. 71 (2002), pp. 227-245.
99. FRANCO MONTANGA, Three complexity problems in quantified fuzzy logic, Studia Logica, vol. 68 (2001), pp. 143-152.
100. _ , On the predicate logics of continuous t-norm BL-algebras, Archive for Mathematical Logic, vol. 44 (2005), pp. 97-114.
101. NEHAD N. MORSI, WAFIK LOTFALLAH, and M. S. EL-ZEKEY, The logic of tied implications. I. Properties, applications and representation, Fuzzy Sets and Systems, vol. 157 (2006), pp. 647-669.
102. _ , The logic of tied implications. II. Syntax, Fuzzy Sets and Systems, vol. 157 (2006), pp. 2030-2057.
103. VILÉM NOVÁK, A comprehensive theory of trichotomous evaluative linguistic expressions, Fuzzy logic and related structures (E. P. Klement et al., editors), Proceedings of the Linz Seminar on Fuzzy Set Theory 2005, in print.
104. _ , On fuzzy type theory, Fuzzy Sets and Systems, vol. 149 (2005), pp. 235-273.
105. _ , Which logic is the real fuzzy logic?, Fuzzy Sets and Systems, vol. 157 (2006), pp. 635-641.
106. _ , A formal theory of intermediate quantifiers, Fuzzy Sets and Systems, vol. 159 (2008), in print.
107. VILÉM NOVÁK, IRINA PERFILIEVA, and JIŘI MOČKOŘ, Mathematical principles of fuzzy logic, Kluwer Academic Publishers, Boston/Dordrecht/London, 1999.
108. HIROAKIRA ONO, Substructural logics and residuated lattices - an introduction, Trends in logic. 50 years of Studia Logica (V. F. Hendricks and J. Malinowski, editors), Trends in Logic, Studia Logica Library, vol. 21, Kluwer Academic Publishers, Dordrecht, 2003, pp. 193-228.
109. JAN PAVELKA, On fuzzy logic. I-III, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 25 (1979), pp. 45-52; 119-134; 447-464.
110. MATTHIAS RAGAZ, Arithmetische Klassifikation von Formelmengen der unendlichwertigen Logik, Ph.D. thesis, ETH, Zürich, 1981.
111. _ , Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik, Archiv für mathematische Logik und Grundlagenforschung, vol. 23 (1983), pp. 129-139.
112. HELENA RASIOWA, An algebraic approach to non-classical logics, North-Holland Publishing Company/PWN, Amsterdam/Warsaw, 1974.
113. RICARDO RODRÍGUEZ, FRANCESC ESTEVA, PERE GARCIA, and LLUÍS GODO, On implicative closure operators in approximate reasoning, International Journal of Approximate Reasoning, vol. 33 (2003), pp. 159-184.
114. BERTHOLD SCHWEIZER and ABE SKLAR, Probabilistic metric spaces, North-Holland Series in Probability and Applied Mathematics, North-Holland Publishing Company, New York, 1983.
115. RUDOLF SEISING, The fuzzification of systems, Studies in Fuzziness and Soft Computing, vol. 216, Springer, Heidelberg, 2007.
116. PHILIPPE SMETS and PAUL MAGREZ, Implication in fuzzy logic, International Journal of Approximate Reasoning, vol. 1 (1987), pp. 327-347.
117. HELMUT THIELE, Theorie der endlichwertigen Łukasiewiczschen Prädikatenkalküle der ersten Stufe, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 108-142.
118. ENRIC TRILLAS and LLORENC VALVERDE, On implication and indistinguishability in the setting of fuzzy logic, Management decision support systems using fuzzy sets and possibility theory (J. Kacprzyk and R. R. Yager, editors), TÜV Rheinland, Cologne, 1985, pp. 198-212.
119. ESKO TURUNEN, Well-defined fuzzy sentential logic, Mathematical Logic Quarterly, vol. 41 (1995), pp. 236-248.
120. LOTFI A. ZADEH, Fuzzy sets, Information and Control, vol. 8 (1965), pp. 338-353.