In the last decades, fuzzy implication functions have proved their potential in many applications. In each of these applications, the fuzzy implication function must satisfy some additional properties whose study leads often to solving a functional equation or inequality [2,3]. This is the case of the functional inequality given by T(I(x,y),z) ≤ I(x,T(y,z)) where T is a t-norm and I a fuzzy implication function. This inequality appears in the setting of fuzzy object oriented models when modelling the degree of inclusion of a fuzzy set into another fuzzy set. In , this functional inequality was introduced and several results were proved when T is a continuous t-norm. In particular, the authors studied some particular cases of (S,N), R, QL and D-implications obtaining several solutions. Nevertheless, many cases of these families of fuzzy implication functions have not been studied yet as well as other well-known families of fuzzy implication functions. Following this line of research, in this paper, we deepen the study of this functional inequality. First, some general results are presented proving some necessary conditions on T and I to satisfy the inequality. After that, the results on (S,N) and R-implications are expanded and some solutions on the family of f-generated implications are presented. Finally, we study the preservation of this functional inequality for the most well-known construction methods of fuzzy implication functions. It is proved that some of them preserve this law and consequently, a plethora of new solutions is available through these methods.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 email@example.com
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 firstname.lastname@example.org