Mathematical Fuzzy Logic: A Good Theory for Practice

We discuss the present state of mathematical fuzzy logic in narrow sense, its extension - fuzzy logic in broader sense (FLb) as a logic of natural human reasoning and also some related theories, e.g., the fuzzy transform. We argue that these are good theories with potential to be very practical.

[1]  Henri Prade,et al.  What are fuzzy rules and how to use them , 1996, Fuzzy Sets Syst..

[2]  Salvatore Sessa,et al.  An image coding/decoding method based on direct and inverse fuzzy transforms , 2008, Int. J. Approx. Reason..

[3]  Vilém Novák,et al.  Logical structure of fuzzy IF-THEN rules , 2006, Fuzzy Sets Syst..

[4]  Petr Hájek,et al.  On theories and models in fuzzy predicate logics , 2006, Journal of Symbolic Logic.

[5]  Vilém Novák.  On the syntactico-semantical completeness of first-order fuzzy logic. II. Main results , 1990, Kybernetika.

[6]  R. P. Dilworth,et al.  Residuated Lattices. , 1938, Proceedings of the National Academy of Sciences of the United States of America.

[7]  Robert Babuska,et al.  Fuzzy algorithms for control , 1999 .

[8]  Michal Holčapek.  Monadic L-fuzzy Quantifiers of the Type <1n,1> , 2007, EUSFLAT Conf..

[9]  Vilém Novák,et al.  Fuzzy transform in the analysis of data , 2008, Int. J. Approx. Reason..

[10]  Lotfi A. Zadeh,et al.  Precisiated Natural Language (PNL) , 2004, AI Mag..

[11]  Lotfi A. Zadeh,et al.  A rationale for fuzzy control , 1972 .

[12]  Irina Perfilieva,et al.  System of fuzzy relation equations with inf-> composition: Complete set of solutions , 2008, Fuzzy Sets Syst..

[13]  Antonín Dvorák,et al.  L-fuzzy quantifiers of type 23291232a determined by fuzzy measures , 2009, Fuzzy Sets Syst..

[14]  L. Zadeh,et al.  Fuzzy Logic for the Management of Uncertainty , 1992 .

[15]  D. Mundici,et al.  Algebraic Foundations of Many-Valued Reasoning , 1999 .

[16]  Vilém Novák,et al.  A formal theory of generalized intermediate syllogisms , 2012, Fuzzy Sets Syst..

[17]  Irina Perfilieva.  Fuzzy Transform: Application to the Reef Growth Problem , 2004 .

[18]  Etienne E. Kerre,et al.  On the extension of classical propositional logic by means of a triangular norm , 1990, Int. J. Intell. Syst..

[19]  Vilém Novák,et al.  On the semantics of perception‐based fuzzy logic deduction , 2004, Int. J. Intell. Syst..

[20]  Irina Perfilieva,et al.  Fuzzy function as an approximate solution to a system of fuzzy relation equations , 2004, Fuzzy Sets Syst..

[21]  Stephan Lehmke,et al.  Correct models of fuzzy IF-THEN rules are continuous , 2006, Fuzzy Sets Syst..

[22]  Bernadette Bouchon-Meunier,et al.  Fuzzy Logic And Soft Computing , 1995 .

[23]  Vilém Novák,et al.  Fuzzy logic deduction with crisp observations , 2004, Soft Comput..

[24]  Vilém Novák.  On the syntactico-semantical completeness of first-order fuzzy logic. I. Syntax and semantics , 1990, Kybernetika.

[25]  J. A. Goguen,et al.  The logic of inexact concepts , 1969, Synthese.

[26]  Vilém Novák.  Perception-Based Logical Deduction , 2004, Fuzzy Days.

[27]  Vilém Novák,et al.  Formal theories and linguistic descriptions , 2004, Fuzzy Sets Syst..

[28]  Bernd Reusch.  Computational Intelligence, Theory and Applications , 1997 .

[29]  Petr Cintula,et al.  Fuzzy class theory , 2005, Fuzzy Sets Syst..

[30]  P. L. Peterson.  Intermediate Quantities , 2020 .

[31]  Bernard De Baets,et al.  Cauchy problem with fuzzy initial condition and its approximate solution with the help of fuzzy transform , 2008, 2008 IEEE International Conference on Fuzzy Systems (IEEE World Congress on Computational Intelligence).

[32]  Masoud Nikravesh,et al.  Fuzzy Partial Differential Equations and Relational Equations , 2004 .

[33]  Ebrahim H. Mamdani,et al.  An Experiment in Linguistic Synthesis with a Fuzzy Logic Controller , 1999, Int. J. Hum. Comput. Stud..

[34]  Vilém Novák,et al.  Analysis of seasonal time series using fuzzy approach , 2010, Int. J. Gen. Syst..

[35]  Etienne E. Kerre,et al.  Convergence of residuated operators and connective stability of non-classical logics , 2000, Fuzzy Sets Syst..

[36]  Lotfi A. Zadeh,et al.  Outline of a New Approach to the Analysis of Complex Systems and Decision Processes , 1973, IEEE Trans. Syst. Man Cybern..

[37]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[38]  Leora Morgenstern,et al.  Introduction: Progress in formal commonsense reasoning , 2004, Artif. Intell..

[39]  Christopher Kennedy.  Vagueness and grammar: the semantics of relative and absolute gradable adjectives , 2007 .

[40]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[41]  Vilém Novák,et al.  A comprehensive theory of trichotomous evaluative linguistic expressions , 2008, Fuzzy Sets Syst..

[42]  Pavel Materna,et al.  Concepts and objects , 1998 .

[43]  V. Novák,et al.  Mathematical Principles of Fuzzy Logic , 1999 .

[44]  G. Klir,et al.  Fuzzy logic in geology , 2004 .

[45]  Vilém Novák,et al.  EQ-algebra-based fuzzy type theory and its extensions , 2011, Log. J. IGPL.

[46]  Vilém Novák,et al.  Mathematical Fuzzy Logic in Modeling of Natural LanguageSemantics , 2007 .

[47]  Irina Perfilieva,et al.  Fuzzy Transforms: A Challenge to Conventional Transforms , 2007 .

[48]  Da Ruan,et al.  Fuzzy Logic: A Spectrum of Theoretical & Practical Issues , 2007 .

[49]  Vilém Novák,et al.  Submitted/to appear: Fuzzy Sets and Systems Supported by: , 2022 .

[50]  K. Lewin,et al.  Field Theory in Social Science: Selected Theoretical Papers , 1951 .

[51]  Vilém Novák,et al.  Fuzzy Relation Equations with Words , 2004 .

[52]  Vilém Novák.  Perception-Based Logical Deduction as Alternative Approximate Reasoning Method , 2005, The 14th IEEE International Conference on Fuzzy Systems, 2005. FUZZ '05..

[53]  Martine De Cock,et al.  LINGUISTIC MODIFIERS: AN OVERVIEW , 1999 .

[54]  Irina Perfilieva,et al.  Fuzzy Logic Normal Forms for Control Law Representation , 1999 .

[55]  Vilém Novák,et al.  System of fuzzy relation equations as a continuous model of IF-THEN rules , 2007, Inf. Sci..

[56]  Petr Hájek,et al.  Formal systems of fuzzy logic and their fragments , 2007, Ann. Pure Appl. Log..

[57]  S. Gottwald.  A Treatise on Many-Valued Logics , 2001 .

[58]  Irina Perfilieva.  Normal forms in BL-algebra and their contribution to universal approximation of functions , 2004, Fuzzy Sets Syst..

[59]  Vilém Novák,et al.  Towards Formalized Integrated Theory of Fuzzy Logic , 1995 .

[60]  Vilém Novák,et al.  Towards automatic modeling of economic texts , 2007 .

[61]  Vilém Novák,et al.  On fuzzy type theory , 2005, Fuzzy Sets Syst..

[62]  Zeungnam Bien,et al.  Fuzzy Logic and its Applications to Engineering, Information Sciences, and Intelligent Systems , 1995, Theory and Decision Library.

[63]  John McCarthy,et al.  Programs with common sense , 1960 .

[64]  Etienne E. Kerre,et al.  A comparative study of the behavior of some popular fuzzy implication operators on the generalized modus ponens , 1992 .

[65]  Lotfi A. Zadeh,et al.  Precisiated Natural Language , 2007, Aspects of Automatic Text Analysis.

[66]  Vilém Novák,et al.  A formal theory of intermediate quantifiers , 2008, Fuzzy Sets Syst..

[67]  V. Novák,et al.  Discovering the world with fuzzy logic , 2000 .

[68]  Peter Jipsen,et al.  Residuated lattices: An algebraic glimpse at sub-structural logics , 2007 .

[69]  Lluis Godo,et al.  Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[70]  Petr Cintula,et al.  From fuzzy logic to fuzzy mathematics: A methodological manifesto , 2006, Fuzzy Sets Syst..

[71]  Franco Montagna,et al.  MV-algebras with internal states and probabilistic fuzzy logics , 2009, Int. J. Approx. Reason..

[72]  Irina Perfilieva,et al.  Fuzzy transforms: Theory and applications , 2006, Fuzzy Sets Syst..

[73]  Elie Sanchez,et al.  Resolution of Composite Fuzzy Relation Equations , 1976, Inf. Control..