Some remarks on the distributive equation of fuzzy implication and the contrapositive symmetry for continuous, Archimedean t-norms (Q2375360)

The paper presents corrections of some results published, separately, by the authors in two previous papers [\textit{M. Baczyński}, Lect. Notes Comput. Sci. 6113, 3--10 (2010; Zbl 1280.03028); \textit{F. Qin}, Int. J. Approx. Reasoning 51, No. 8, 984--992 (2010; Zbl 1226.03036)]. For the distributive equation \(I(x,T_1(y,z))=T_2(I(x,y), I(x,z))\), \(x,y,z \in [0, 1] \), the corrections are given for the cases: \(T_1\) and \(T_2\) are different nilpotent t-norms; \(T_1\) and \(T_2\) are nilpotent t-norms; \(T_1\) is a nilpotent t-norm and \(T_2\) is a strict t-norm. For the contrapositive symmetry \(I(x,y)=I(N(y), N(x))\), \(x,y \in [0, 1]\), the correct solutions are presented when \(T_1\) and \(T_2\) are nilpotent t-norms. The previous corrections are achieved in the Sections 2--4. In Section 5, a new result connecting both functional equations is obtained and in the last section the authors present the summarizing tables for all distributivity equations of fuzzy implications over the continuous Archimedean t-norms and the t-conorms that are considered already in the literature.