Pseudo-t-norms and implication operators on a complete Brouwerian lattice (Q1867662): Difference between revisions

Given a complete Brouwerian lattice \(L\), a pseudo-t-norm is a binary operation \(T\) on \(L\) such that \( T(1,a) = a \), \(T(0,a) = 0 \) and \( T(a,b) \leq T(a,c)\) whenever \( b \leq c\). Motivated by problems of fuzzy logic, the authors extend previous works on relations between t-norms and implication functions. More precisely, they study in detail the relations between the set of all infinitely \(\vee\)-distributive pseudo-t-norms and the set of all infinitely \( \wedge\)-distributive implications on \(L\). Some examples and particular cases are presented. [See also the notes on this article in the same journal 153, No. 2, 289-294 (2005; Zbl 1086.03019).]