Lattice structure of \(e\)-implications on \(L^{*}\) (Q2372219): Difference between revisions

The authors consider the set \(L^*\) of all the pairs \((x,y)\) on \([0,1]\) such that \(x+y\leq1\) and give the definition of \(e\)-implication on \(L^*\). Moreover they define the concept of representable \(e\)-implications on \(L^*\) and prove that, under suitable operations, they form a monoid which is also a distributive complete lattice. The authors use also the concept of \(e\)-implication on \([0,1]\) given in their previous paper [Inf. Sci. 174, No. 1--2, 103--122 (2005; Zbl 1077.03045)] for constructing \(e\)-implications on \(L^*\).