Many-valued points and equality (Q1840970)

Let \(A\) be an MV-algebra and let \(G\) be an abelian lattice ordered group with a strong unit \(u\) such that \(\Gamma(G,u)=A\). Further, let \(E\) be a nonempty set and let \(\delta\) be a mapping of \(E\) into \(A\) such that there exist elements \(x_1, x_2,\dots,x_n\) of \(E\) which have the following properties: (i) if \(x\in E\) and \(x\neq x_i\) for \(i=1,2,\dots, n\), then \(\delta(x)=0\); (ii) \(\delta(x_1)+\dots +\delta(x_n)=u\). Then \(\delta\) is said to be a generalized point of \(E\) (with values in \(A\)). The equality degree \([[\alpha=\beta]]\) of two such generalized points \(\alpha\) and \(\beta\) is defined by \([[\alpha=\beta]]=\oplus_{x\in E} (\alpha(x)\wedge\beta(x))\). For \(a_1,a_2\in A\), we apply the usual operation \(a_1\odot a_2= \neg(\neg a_1\oplus\neg a_2)\). The main result of the paper is the following theorem: Let \(\alpha,\beta,\gamma\) be generalized points of a nonempty set \(E\), with values in an MV-algebra \(A\); then the relation \([[\alpha=\beta ]]\odot [[\beta=\gamma]]\leqq[[\alpha=\gamma]]\) is valid.