The law of importation versus the exchange principle on fuzzy implications (Q533167)

The authors discuss some open problems connected with the following law of importation, \(I(T(x,y),z)=I(x,I(y,z))\), when \(T\) is a t-norm or a conjunctive uninorm and \(I\) is a fuzzy implication. In particular, it is shown that this property is strictly stronger than the following exchange principle, \(I(x,I(y,z))=I(y,I(x,z))\). Therefore, they introduce a weaker version of the law of importation, called the weak law of importation, by reducing the requirements of the functions for which this law holds. The authors show that the three mentioned properties are equivalent for some kind of fuzzy implications, i.e., those that satisfy a boundary property. Along this study, some characterizations of (S,N)-implications, R-implications and their counterparts for uninorms based on the weak law of importation are presented.