Many-valued points and equality
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.
This page was built for publication: Many-valued points and equality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840970)
