On the determination of strict \(t\)-norms on some diagonal segments (Q1801343)

A \(t\)-norm \(T\) is a function from \([0,1]\times[0,1]\) into \([0,1]\) which is associative, commutative and is nondecreasing in each variable. A \(t\)- norm \(T\) is Archimedean if it is continuous and strictly increasing in each variable on \((0,1]\times(0,1]\). The function \(T^*(x,y)=1-T(1-x,1- y)\) is called the \(t\)-conorm associated with \(T\). For \(x\in[0,1]\), the \(T\)-powers of \(x\) are defined by \(x^ 1_ T=x\), \(x^{n+1}_ T=T(x^ n_ T,x)\) for all \(n\in N\). The paper deals with the unique determination of \(t\)-norms by their values on some segments. More precisely, the authors prove the following theorem: Let \(\lambda\) be a function from \([0,1]\) into \([0,1]\) strictly decreasing and continuous with \(\lambda(0)=1\) and \(\lambda(1)=0\). Let \(T\) and \(S\) be strict \(t\)-norms (or strict \(t\)-conorms) such that \(T(x,\lambda(x))=S(x,\lambda(x))\) for all \(x\in[0,1]\) and \(x^ k_ T=x^ k_ S\) for some \(k\geq 2\). Then \(T=S\). Some other segments which determine uniquely strict \(t\)-norms are discussed as well.