On the characterizations of fuzzy implications satisfying I(x, y)=I(x, I(x, y))

Iterative boolean-like laws in fuzzy logic have been studied by Alsina and Trillas [C. Alsina, E. Trillas, On iterative boolean-like laws of fuzzy sets, in: Proc. 4th Conf. Fuzzy Logic and Technology, Barcelona, Spain, 2005, pp. 389-394] for functional equations with boolean background in which only fuzzy conjunctions, fuzzy disjunctions and fuzzy negations are contained. In this paper we study an iterative boolean-like law with fuzzy implications, more precisely we derive characterizations of some classes of fuzzy implications satisfying I(x,y)=I(x,I(x,y)), for all (x,y)@?[0,1]^2. Our discussion mainly focuses on the three important classes of implications: S-implications, R-implications and QL-implications. We prove the sufficient and necessary conditions for an S-implication generated by any t-conorm and any fuzzy negation, an R-implication generated by a left-continuous t-norm, a QL-implication generated by a continuous t-conorm, a continuous t-norm and a strong fuzzy negation to satisfy I(x,y)=I(x,I(x,y)), for all (x,y)@?[0,1]^2.

[1]  Ronald R. Yager,et al.  On the implication operator in fuzzy logic , 1983, Inf. Sci..

[2]  Enric Trillas,et al.  On Iterative Boolean-Like Laws of Fuzzy Sets , 2005, EUSFLAT Conf..

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

[4]  Humberto Bustince,et al.  Construction of fuzzy indices from fuzzy DI-subsethood measures: Application to the global comparison of images , 2007, Inf. Sci..

[5]  Ronald R. Yager,et al.  On some new classes of implication operators and their role in approximate reasoning , 2004, Inf. Sci..

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

[7]  Radko Mesiar,et al.  Triangular Norms , 2000, Trends in Logic.

[8]  Ronald R. Yager,et al.  On global requirements for implication operators in fuzzy modus ponens , 1999, Fuzzy Sets Syst..

[9]  Guoqing Chen,et al.  Discovering a cover set of ARsi with hierarchy from quantitative databases , 2005, Inf. Sci..

[10]  George J. Klir,et al.  Fuzzy sets and fuzzy logic , 1995 .

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

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

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

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

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

[16]  Nehad N. Morsi,et al.  Issues on adjointness in multiple-valued logics , 2006, Inf. Sci..

[17]  Etienne Kerre,et al.  Fuzzy implication operators and generalized fuzzy method of cases , 1993 .

[18]  Haris N. Koutsopoulos,et al.  Models for route choice behavior in the presence of information using concepts from fuzzy set theory and approximate reasoning , 1993 .

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

[20]  Da Ruan A critical study of widely used fuzzy implication operators and their influence on the inference rules in fuzzy expert systems , 1990 .

[21]  Huawen Liu,et al.  Unified forms of fully implicational restriction methods for fuzzy reasoning , 2007, Inf. Sci..

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

[23]  E. Trillas,et al.  AN OVERVIEW ON THE CONSTRUCTION OF FUZZY SET THEORIES , 2005 .