Weakly Implicative (Fuzzy) Logics I: Basic Properties

This paper presents two classes of propositional logics (understood as a consequence relation). First we generalize the well-known class of implicative logics of Rasiowa and introduce the class of weakly implicative logics. This class is broad enough to contain many “usual” logics, yet easily manageable with nice logical properties. Then we introduce its subclass–the class of weakly implicative fuzzy logics. It contains the majority of logics studied in the literature under the name fuzzy logic. We present many general theorems for both classes, demonstrating their usefulness and importance.

[1]  Satoko Titani,et al.  Intuitionistic fuzzy logic and intuitionistic fuzzy set theory , 1984, Journal of Symbolic Logic.

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

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

[4]  C. A. Meredith,et al.  Calculi of Pure Strict Implication , 1969 .

[5]  A. Monteiro.  Sur les algèbres de Heyting symétriques , 1980 .

[6]  Greg Restall,et al.  An Introduction to Substructural Logics , 2000 .

[7]  Willem J. Blok,et al.  Memoirs of the American Mathematical Society , 1989 .

[8]  H. Rasiowa.  An Algebraic Approach To Non Classical Logics , 1974 .

[9]  Josep Maria Font,et al.  A Survey of Abstract Algebraic Logic , 2003, Stud Logica.

[10]  Petr Cintula,et al.  Fuzzy logics as the logics of chains , 2006, Fuzzy Sets Syst..

[11]  Gary M. Hardegree,et al.  Algebraic Methods in Philosophical Logic , 2001 .

[12]  Witold Pedrycz,et al.  The design of decision trees in the framework of granular data and their application to software quality models , 2001, Fuzzy Sets Syst..

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

[14]  Petr Hájek,et al.  Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt GÖdel's Legacy , 1996, Bulletin of Symbolic Logic.

[15]  Antonio J. Rodríguez Salas,et al.  Linearization of the BCK-logic , 2000, Stud Logica.

[16]  M. Baaz.  Infinite-valued Gödel logics with $0$-$1$-projections and relativizations , 1996 .