Reasoning about mathematical fuzzy logic and its future

Fuzzy Sets and Systems

Volumn 192, Issue , 2012, Pages 25-44

  Novák, Vilém ^a  

^a UNIVERSITY OF OSTRAVA   (Czech Republic)

Author keywords

Approximate reasoning; Evaluative linguistic expressions; Fuzzy logic in broader sense; Fuzzy logic in narrow sense; Fuzzy mathematics; Fuzzy linguistic IF THEN rules; Intermediate quantifiers; Linguistic semantics; Perception based logical deduction; Vagueness

Indexed keywords

APPROXIMATE REASONING; EVALUATIVE LINGUISTIC EXPRESSIONS; FUZZY MATHEMATICS; FUZZY/LINGUISTIC IF-THEN RULES; INTERMEDIATE QUANTIFIERS; PERCEPTION-BASED LOGICAL DEDUCTION; VAGUENESS;

LINGUISTICS; SEMANTICS;

FUZZY LOGIC;

EID: 84856118664     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2010.09.019     Document Type: Conference Paper

References (100)

1. P. Andrews An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof 2002 Kluwer Dordrecht
2. L. Běhounek, U. Bodenhover, and P. Cintula Relations in fuzzy class theory: initial steps Fuzzy Sets and Systems 159 2008 1729 1772
3. L. Běhounek, and P. Cintula Fuzzy class theory Fuzzy Sets and Systems 154 2005 34 55 (Pubitemid 40710186)
4. L. Běhounek, and P. Cintula From fuzzy logic to fuzzy mathematics: a methodological manifesto Fuzzy Sets and Systems 157 5 2006 642 646 (Pubitemid 43189824)
5. L. Běhounek, and P. Cintula Fuzzy logics as the logics of chains Fuzzy Sets and Systems 157 2006 604 610 (Pubitemid 43189818)
6. L. Běhounek, and M. Daňková Relational compositions in fuzzy class theory Fuzzy Sets and Systems 160 8 2009 1005 1036
7. R. Bělohlávek, and V. Novák Learning rule base of the linguistic expert systems Soft Computing 7 2002 79 88 (Pubitemid 36002912)
8. A. Church A formulation of the simple theory of types Journal of Symbolic Logic 5 1940 56 68
9. K. Chvalovský, On the independence of axioms in bl and mtl, in: F. Hakl (ed.), Doktorandsk dny '08, Institute of Computer Science AS CR, Prague, 2008, pp. 28-36.
10. R.L.O. Cignoli, I.M.L. D'ottaviano, and D. Mundici Algebraic Foundations of Many-valued Reasoning 2000 Kluwer, Dordrecht
11. P. Cintula The Ł Π and Ł Π 1 2 propositional and predicate logics Fuzzy Sets and Systems 124 2001 289 302
12. P. Cintula Weakly implicative (fuzzy) logics i: basic properties Archive for Mathematical Logic 45 2006 673 704 (Pubitemid 44167652)
13. P. Cintula, F. Esteva, J. Gispert, L. Godo, and C. Noguera Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies Annals of Pure and Applied Logic 160 2009 53 81
14. P. Cintula, and P. Hájek Triangular norm based predicate fuzzy logics Fuzzy Sets and Systems 161 3 2010 311 346
15. P. Cintula, P. Hájek, and R. Horčík Formal systems of fuzzy logic and their fragments Annals of Pure and Applied Logic 150 2007 40 65
16. E. Davis, and L. Morgenstern Introduction: progress in formal commonsense reasoning Artificial Intelligence 153 2004 1 12
17. M. Daňková Representation of logic formulas by normal forms Kybernetika 38 2002 711 728
18. A. Dvořák, and V. Novák Fuzzy logic deduction with crisp observations Soft Computing 8 2004 256 263
19. A. Dvořák, and M. Holčapek L-fuzzy quantifiers of the type 〈 1 〉 determined by measures Fuzzy Sets and Systems 160 2009 3425 3452
20. A. Dvořák, and V. Novák Formal theories and linguistic descriptions Fuzzy Sets and Systems 143 2004 169 188
21. A. Dvořák, and V. Novák Towards automatic modeling of economic texts Mathware & Soft Computing XIV 3 2007 217 231
22. M. El-Zekey Representable good EQ-algebras Soft Computing 14 2009 1011 1023
23. M. El-Zekey, V. Novák, R. Mesiar, On good EQ-algebras, Fuzzy Sets and Systems, submitted for publication.
24. F. Esteva, and L. Godo Monoidal t-norm based logic: towards a logic for left-continuous t-norms Fuzzy Sets and Systems 124 2001 271 288 (Pubitemid 32951435)
25. F. Esteva, L. Godo, and A. García-Cerdana On the hierarchy of t-norm based residuated fuzzy logics M. Fitting, E. Orlowska, Beyond Two: Theory and Applications of Multiple-Valued Logic Series 2003 Springer Berlin 235 270
26. F. Esteva, L. Godo, and F. Montagna The Ł Π and Ł Π 1 2 logics: two complete fuzzy systems joining Łukasiewicz and product logics Archive of Mathematical Logic 40 2001 39 67
27. F. Esteva, L. Godo, and C. Noguera On expansions of wnm t-norm based logics with truth-constants Fuzzy Sets and Systems 161 2010 347 368
28. T. Flaminio, and F. Montagna MV-algebras with internal states and probabilistic fuzzy logics International Journal of Approximate Reasoning 50 2009 138 152
29. N. Galatos, P. Jipsen, T. Kowalski, and H. Ono Residuated lattices An Algebraic Glimpse At Substructural Logics 2007 Elsevier Amsterdam
30. I. Glöckner Fuzzy Quantifiers: A Computational Theory 2006 Springer Berlin
31. J.A. Goguen The logic of inexact concepts Synthese 19 1968-1969 325 373
32. S. Gottwald, Fuzzy Sets and Fuzzy Logic. The Foundations of Application - from a Mathematical Point of View, Vieweg, Braunschweig/Wiesbaden and Teknea, Toulouse, 1993.
33. S. Gottwald Mathematical fuzzy logics Bulletin of Symbolic Logic 14 2 2008 210 239
34. S. Gottwald, and P. Hájek Triangular norm-based mathematical fuzzy logics E. Klement, R. Mesiar, Logical, Algebraic, Analytic, and Probabilistic Aspects of Triangular Norms 2005 Elsevier Amsterdam 257 299
35. P. Hájek Metamathematics of Fuzzy Logic 1998 Kluwer Dordrecht
36. P. Hájek Ten questions and one problem on fuzzy logic Annals of Pure and Applied Logic 96 1999 157 165
37. P. Hájek Why fuzzy logic? A Companion to Philosophical Logic vol. 22 2002 Blackwell Publishers Massachusetts 595 605
38. P. Hájek What is mathematical fuzzy logic Fuzzy Sets and Systems 157 2006 597 603 (Pubitemid 43189817)
39. P. Hájek, and P. Cintula On theories and models in fuzzy predicate logics Journal of Symbolic Logic 71 3 2006 863 880 (Pubitemid 44367263)
40. P. Hájek, and V. Novák The sorites paradox and fuzzy logic International Journal of General Systems 32 2003 373 383 (Pubitemid 41623225)
41. P. Hájek, and J. Paris A dialogue on fuzzy logic Soft Computing 1 1 1997 3 5 (Pubitemid 127085722)
42. E. Hajičová, B.H. Partee, and P. Sgall Topic-Focus Articulation, Tripartite Structures, and Semantics Content 1998 Kluwer Dordrecht
43. L. Henkin Completeness in the theory of types Journal of Symbolic Logic 15 1950 81 91
44. L. Henkin A theory of propositional types Fundamenta Mathematica 52 1963 323 344
45. U. Höhle Commutative residuated l-monoids U. Höhle, E.P. Klement, Non-Classical Logics and Their Applications to Fuzzy Subsets. A Handbook of the Mathematical Foundations of Fuzzy Set Theory 1995 Kluwer Dordrecht 53 106
46. n, 1 〉 Fuzzy Sets and Systems 159 2008 1811 1835
47. R. Horčík Solution of a system of linear equations with fuzzy numbers Fuzzy Sets and Systems 159 14 2008 1788 1810
48. R. Keefe Theories of Vagueness 2000 Cambridge University Press Cambridge
49. E. Keenan, and D. Westersthl Quantifiers in formal and natural languages J. van Benthem, A. ter Meulen, Handbook of Logic and Language 1997 Elsevier Amsterdam 837 893
50. E. Kerre, and M. De Cock Linguistic modifiers: an overview J. Martinez, Fuzzy Logic and Soft Computing 1999 Kluwer Academic Boston 69 86
51. T. Kroupa Filters in fuzzy class theory Fuzzy Sets and Systems 159 2008 1773 1787
52. P. Lindström First order predicate logic with generalized quantifiers Theoria 32 1966 186 195
53. P. Materna, Concepts and Objects, Acta Philosophica Fennica, vol. 63, Helsinki, 1998.
54. P. Materna Conceptual Systems 2004 Logos Verlag Berlin
55. J. McCarthy, Programs with common sense, in: Proceedings of the Teddington Conference on Mechanization of Thought Processes, Her Majesty's Stationary Office, London, 1959, pp. 75-91.
56. K. Michels, F. Klawonn, R. Kruse, and A. Nürnberger Fuzzy Control: Fundamentals, Stability and Design of Fuzzy Controllers 2006 Springer Berlin
57. A. Mostowski On a generalization of quantifiers Fundamenta Mathematicae 44 1957 12 36
58. c * -algebras Fundamenta Informaticae 18 1993 151 161
59. V. Novák, and J. Kovář Linguistic IF-THEN rules in large scale application of fuzzy control R. Da, E. Kerre, Fuzzy If-Then Rules in Computational Intelligence: Theory and Applications 2000 Kluwer Academic Publishers Boston 223 241
60. V. Novák Fuzzy Sets and Their Applications 1989 Adam Hilger Bristol
61. V. Novák On the syntactico-semantical completeness of first-order fuzzy logic I, II Kybernetika 26 1990 47-66, 134-154
62. V. Novák Towards formalized integrated theory of fuzzy logic Z. Bien, K. Min, Fuzzy Logic and Its Applications to Engineering, Information Sciences, and Intelligent Systems 1995 Kluwer Dordrecht 353 363
63. V. Novák Fuzzy logic deduction with words applied to ancient sea level estimation R. Demicco, G. Klir, Fuzzy Logic in Geology 2003 Academic Press Amsterdam 301 336
64. V. Novák Are fuzzy sets a reasonable tool for modeling vague phenomena? Fuzzy Sets and Systems 156 2005 341 348 (Pubitemid 41475491)
65. V. Novák On fuzzy type theory Fuzzy Sets and Systems 149 2005 235 273
66. V. Novák Perception-based logical deduction B. Reusch, Computational Intelligence, Theory and Applications 2005 Springer Berlin 237 250 (Pubitemid 44895695)
67. V. Novák, Fuzzy logic theory of evaluating expressions and comparative quantifiers, in: Proceedings of the 11th International Conference on IPMU, Paris, July 2006, vol. 2, Éditions EDK, Les Cordeliers, Paris, 2006, pp. 1572-1579.
68. V. Novák Fuzzy sets as a special mathematical model of vagueness phenomenon B. Reusch, Computational Intelligence, Theory and Applications 2006 Springer Heidelberg 683 690
69. V. Novák Which logic is the real fuzzy logic? Fuzzy Sets and Systems 157 2006 635 641 (Pubitemid 43189823)
70. V. Novák Fuzzy logic with countable evaluated syntax revisited Fuzzy Sets and Systems 158 2007 929 936 (Pubitemid 46400871)
71. V. Novák Mathematical fuzzy logic in modeling of natural language semantics P. Wang, D. Ruan, E. Kerre, Fuzzy Logic - A Spectrum of Theoretical & Practical Issues 2007 Elsevier Berlin 145 182
72. V. Novák A comprehensive theory of trichotomous evaluative linguistic expressions Fuzzy Sets and Systems 159 22 2008 2939 2969
73. V. Novák A formal theory of intermediate quantifiers Fuzzy Sets and Systems 159 10 2008 1229 1246 10.1016/j.fss.2007.12.008
74. V. Novák, EQ-algebra-based fuzzy type theory and its extensions, Logic Journal of the IGPL (2010), to appear, doi: 10.1093/jigpal/jzp087.
75. V. Novák, and B. de Baets EQ-algebras Fuzzy Sets and Systems 160 2009 2956 2978
76. V. Novák, A. Dvořák, Fuzzy logic: a powerful tool for modeling of vagueness, in: Logical Models of Reasoning with Vague Information, submitted for publication.
77. V. Novák, and S. Lehmke Logical structure of fuzzy IF-THEN rules Fuzzy Sets and Systems 157 2006 2003 2029 (Pubitemid 43831202)
78. V. Novák, and I. Perfilieva On the semantics of perception-based fuzzy logic deduction International Journal of Intelligent Systems 19 2004 1007 1031
79. V. Novák, I. Perfilieva, and N.G. Jarushkina A general methodology for managerial decision making using intelligent techniques E. Rakus-Anderson, R. Yager, N. Ichalkaranje, L. Jain, Recent Advances in Fuzzy Decision-Making 2009 Springer Heidelberg 103 120
80. V. Novák, I. Perfilieva, and J. Močkoř Mathematical Principles of Fuzzy Logic 1999 Kluwer Boston
81. V. Novák, M. Štěpnička, I. Perfilieva, and V. Pavliska Analysis of periodical time series using soft computing methods D. Ruan, J. Montero, J. Lu, L. Martínez, P. D'hondt, E. Kerre, Computational Intelligence in Decision and Control 2008 World Scientific New Jersey 55 60
82. V. Novák, M.U. Štěpnička, A. Dvořák, I. Perfilieva, V. Pavliska, and L. Vavří čková Analysis of seasonal time series using fuzzy approach International Journal of General Systems 39 2010 305 328
83. J. Pavelka On fuzzy logic I, II, III Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 25 1979 45-52, 119-134, 447-464
84. I. Perfilieva Fuzzy logic normal forms for control law representation H. Verbruggen, H.-J. Zimmermann, R. Babuška, Fuzzy Algorithms for Control 1999 Kluwer Boston 111 125
85. I. Perfilieva Logical approximation Soft Computing 7 2 2002 73 78 (Pubitemid 36002911)
86. I. Perfilieva Normal forms in BL-algebra of functions and their contribution to universal approximation Fuzzy Sets and Systems 143 2004 111 127
87. I. Perfilieva Logical foundations of rule-based systems Fuzzy Sets and Systems 157 2006 615 621 (Pubitemid 43189820)
88. S. Peters, and D. Westersthl Quantifiers in Language and Logic 2006 Clarendon Press Oxford
89. P. Peterson, Intermediate Quantifiers. Logic, Linguistics, and Aristotelian Semantics, Ashgate, Aldershot, 2000.
90. B. Russell Mathematical logic as based on the theory of types American Journal of Mathematics 30 1908 222 262
91. P. Savický, R. Cignoli, F. Esteva, L. Godo, and C. Noguera On product logic with truth constants Journal of Logic and Computation 16 2006 205 225
92. P. Sgall, E. Hajičová, J. Panevová, The Meaning of the Sentence in its Syntactic and Pragmatic Aspects, D. Reidel, Dordrecht, 1986.
93. A.C. Varzi, Supervaluationism and paraconsistency, in: D. Batens, C. Mortensen, G. Priest, J.-P.A. Van Bendegem (Eds.), Frontiers in Paraconsistent Logic, Baldock, 2000, pp. 279-297.
94. D. Westersthl, Quantifiers in formal and natural languages, in: D. Gabbay, F. Guenthner (Eds.), Handbook of Philosophical Logic, vol. IV, D. Reidel, Dordrecht, 1989, pp. 1-131.
95. M. Ying, and B. Bouchon-Meunier Quantifiers, modifiers and qualifiers in fuzzy logic Journal of Applied Non-Classical Logics 7 1997 335 342
96. L.A. Zadeh Fuzzy sets Information and Control 8 1965 338 353
97. L.A. Zadeh Quantitative fuzzy semantics Information Sciences 3 1973 159 176
98. L.A. Zadeh The concept of a linguistic variable and its application to approximate reasoning I, II, III Information Sciences 8-9 1975 199-257, 301-357, 43-80
99. L.A. Zadeh A computational approach to fuzzy quantifiers in natural languages Computers and Mathematics 9 1983 149 184
100. L.A. Zadeh Precisiated natural language AI Magazine 25 2004 74 91