Parameterized R-implications (Q1867700)

This is a very extensive paper focusing on the wide class of fuzzy implications called R-implications because they appear in residuated lattices on the basis of the residuation property \[ a\otimes b\leq c \qquad\text{ iff }\qquad a\leq b\to c, \] where \(\otimes\) is a binary monoidal operation (product) and \(\to\) is the corresponding residuation. Note that the residuation is an algebraic counterpart to the classical modus ponens rule in many-valued logic (unfortunately, these facts are not mentioned in the paper). The interval \([0,1]\) can be seen as a residuated lattice if the product operation \(\otimes\) is a left-continuous t-norm (a binary operation on \([0,1]\) which is commutative, associative, monotone, with 1 as the unit). The author focuses on a class of R-implications being residuations of the Schweizer-Sklar family of t-norms, which is a parametrized family of continuous t-norms (with the exception of the parameter \(p=\infty\)). The author considers fuzzy IF-THEN rules interpreted as fuzzy relations based on the above family of R-implications provided that the antecedent and succedent form trapezoids. Furthermore, he derives a possible defuzzification operation on the basis of that. He then makes a lot computations with not very clearly stated goal. Moreover, he ignores results of formal fuzzy logic, which can be seen from the citations but also from some formulations and terminology (e.g. the product logic is hidden under the unused term quotient or Goguen logic). A lot of useless tables and unclear formulations could be avoided or simplified when clearly referring to results of formal fuzzy logic in the narrow sense and the theory of t-norms; cf. \textit{P. Hájek} [Metamathematics of fuzzy logic. Kluwer, Dordrecht (1998; Zbl 0937.03030)], \textit{E. P. Klement}, \textit{R. Mesiar} and \textit{E. Pap} [Triangular norms. Kluwer, Dordrecht (2000; Zbl 0972.03002)], \textit{V. Novák}, \textit{I. Perfilieva} and \textit{J. Močkoř} Mathematical principles of fuzzy logic. Kluwer, Dordrecht (1999; Zbl 0940.03028)].