(S, N)- and R-implications: A state-of-the-art survey

In this work we give a state-of-the-art review of two of the most established classes of fuzzy implications, viz., (S,N)- and R-implications. Firstly, we discuss their properties, characterizations and representations. Many new results concerning fuzzy negations and (S,N)-implications, notably their characterizations with respect to the identity principle and ordering property, are presented, which give rise to some representation results. Finally, using the presented facts, an almost complete characterization of the intersections that exist among some subfamilies of (S,N)- and R-implications are obtained.

[1]  Bernard De Baets,et al.  A contour view on uninorm properties , 2006, Kybernetika.

[2]  Hung T. Nguyen,et al.  A First Course in Fuzzy Logic , 1996 .

[3]  Bernard De Baets,et al.  The triple rotation method for constructing t-norms , 2007, Fuzzy Sets Syst..

[4]  MiyakoshiMasaaki,et al.  Solutions of composite fuzzy relational equations with triangular norms , 1985 .

[5]  Bernard De Baets,et al.  On the structure of left-continuous t-norms that have a continuous contour line , 2007, Fuzzy Sets Syst..

[6]  J. Fodor.  Contrapositive symmetry of fuzzy implications , 1995 .

[7]  D. Dubois,et al.  Fuzzy sets in approximate reasoning, part 1: inference with possibility distributions , 1999 .

[8]  Francesc Esteva,et al.  Review of Triangular norms by E. P. Klement, R. Mesiar and E. Pap. Kluwer Academic Publishers , 2003 .

[9]  M. Miyakoshi,et al.  Solutions of composite fuzzy relational equations with triangular norms , 1985 .

[10]  Enric Trillas,et al.  When (S, N)-implications are (T, T1)-conditional functions? , 2003, Fuzzy Sets Syst..

[11]  Dimitar P. Filev,et al.  Fuzzy SETS AND FUZZY LOGIC , 1996 .

[12]  E. Trillas.  Sobre funciones de negación en la teoría de conjuntos difusos. , 1979 .

[13]  Sándor Jenei,et al.  How to construct left-continuous triangular norms--state of the art , 2004, Fuzzy Sets Syst..

[14]  Marc Roubens,et al.  Fuzzy Preference Modelling and Multicriteria Decision Support , 1994, Theory and Decision Library.

[15]  Humberto Bustince,et al.  Automorphisms, negations and implication operators , 2003, Fuzzy Sets Syst..

[16]  Michal Baczynski,et al.  Erratum to "On the characterizations of (S, N)-implications": [Fuzzy Sets and Systems 158 (2007) 1713-1727] , 2008, Fuzzy Sets Syst..

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

[18]  Michal Baczynski,et al.  On the characterizations of (S, N)-implications , 2007, Fuzzy Sets Syst..

[19]  B. Baets,et al.  Residual implicators of continuous t-norms , 1996 .

[20]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .

[21]  J. Fodor.  On fuzzy implication operators , 1991 .

[22]  Michal Baczynski,et al.  Residual implications revisited. Notes on the Smets-Magrez Theorem , 2004, Fuzzy Sets Syst..

[23]  Philippe Smets,et al.  Implication in fuzzy logic , 1987, Int. J. Approx. Reason..

[24]  LangJérôme,et al.  Fuzzy sets in approximate reasoning, part 2 , 1991 .

[25]  M. Kuczma.  Functional equations in a single variable , 1968 .

[26]  Siegfried Gottwald,et al.  Fuzzy Sets and Fuzzy Logic , 1993 .

[27]  Sándor Jenei,et al.  Structure of left-continuous triangular norms with strong induced negations (II) Rotation-annihilation construction , 2001, J. Appl. Non Class. Logics.

[28]  Sándor Jenei,et al.  Continuity of left-continuous triangular norms with strong induced negations and their boundary condition , 2001, Fuzzy Sets Syst..

[29]  Bernard De Baets,et al.  Negation and affirmation: the role of involutive negators , 2007, Soft Comput..

[30]  W. Pedrycz.  ON GENERALIZED FUZZY RELATIONAL EQUATIONS AND THEIR APPLICATIONS , 1985 .

[31]  D. Dubois,et al.  A theorem on implication functions defined from triangular norms. , 1984 .

[32]  E. Trillas,et al.  ON IMPLICATION AND INDISTINGUISHABILITY IN THE SETTING OF FUZZY LOGIC , 1993 .

[33]  Sándor Jenei,et al.  New family of triangular norms via contrapositive symmetrization of residuated implications , 2000, Fuzzy Sets Syst..

[34]  Józef Drewniak,et al.  Invariant Fuzzy Implications , 2006, Soft Comput..

[35]  Sándor Jenei,et al.  Structure of left-continuous triangular norms with strong induced negations (I) Rotation construction , 2000, J. Appl. Non Class. Logics.

[36]  Bernard De Baets,et al.  Rotation-invariant t-norm solutions of a system of functional equations , 2006, Fuzzy Sets Syst..

[37]  D. Dubois,et al.  Fuzzy sets in approximate reasoning. I, Inference with possibility distributions , 1991 .

[38]  Radko Mesiar,et al.  Residual implications and left-continuous t-norms which are ordinal sums of semigroups , 2004, Fuzzy Sets Syst..