A triangular norm hierarchy (Q5939639)

The author studies two questions. First, he asks when two triangular norms are comparable as real functions. These results can now be found in the book: \textit{E. P. Klement}, \textit{R. Mesiar} and \textit{E. Pap}, Triangular norms, Kluwer, Dordrecht (2000; Zbl 0972.03002), Ex.~3.32 and Chapter~6. Some of them were already known at the time of submission of the paper (1997) [see \textit{M. J. Frank}, ``On the simultaneous associativity of \(F(x,y)\) and \(x+y-F(x,y)\)'', Aequationes Math. 19, 194-226 (1979; Zbl 0444.39003), and \textit{D. Butnariu} and \textit{E. P. Klement}, Triangular norm-based measures and games with fuzzy coalitions, Kluwer, Dordrecht (1993; Zbl 0804.90145), Prop.~1.12]. As a second task, the author compares the strength of semantics of fuzzy logics based on different triangular norms [in the sense of \textit{D. Butnariu}, \textit{E. P. Klement} and \textit{S. Zafrany}, ``On triangular norm-based propositional fuzzy logics'', Fuzzy Sets Syst. 69, 241-255 (1995; Zbl 0844.03011)]. He proves that the finitary fuzzy logic based on Einstein triangular norm is weaker than the infinitary s-fuzzy logic based on product. This follows from \textit{D. Butnariu}, \textit{E. P. Klement} and \textit{M. Navara}, ``All strict triangular norms are `equally strong' '', Proc. Conf. on Fuzzy Logic and Applications, Tel Aviv, Israel, 1997, 116-124 (1997), Cor.~2.8, based on \textit{M. Navara}, ``A characterization of triangular norm based tribes'', Tatra Mt. Math. Publ. 3, 161-166 (1993; Zbl 0799.28013), although a detailed proof will appear only in a forthcomng paper [\textit{J. Hekrdla}, \textit{E. P. Klement} and \textit{M. Navara}, ``Two approaches to fuzzy propositional logics'', Mult.-Valued Log., accepted]. What remains interesting is that for this particular case the author has found a much simpler proof than the general one. Some items are missing, e.g., the interpretation of implication. Citations are incomplete and most of them are wrong; they can be corrected using \textit{R. Lowen}'s book [Fuzzy set theory, Kluwer, Dordrecht (1996; Zbl 0854.04006)].