
Let \(M\) be a \(\sigma\)-complete MV-algebra with product, let \(m\) be a faithful state on \(M\), and let \((M,m)\) be the resulting probability MV-algebra. An observable is a map of the Borel subsets of \(R\) into \(M\) partially preserving the structure of events. Let \(x\) and \(y\) be observables. The conditional expectation \(E(x|y)\) is constructed and the following variant of the martingale convergence theorem is proved: Let \((g_n)\) be a sequence of Borel measurable functions, let \(y_n = y\circ g^{-1}_{n}\), \(n\in N\). Then, under natural additional conditions, \(E(x|y_n)\) converges to \(E(x|y)\) almost everywhere with respect to the distribution \(m_y\). The constructions generalize the corresponding results for MV-algebras of fuzzy sets [\textit{B. Riecan}, Soft Comput. 4, No. 1, 49-57 (2000)].
MV-algebras, MV-algebra with product, conditional expectation, martingale convergence theorem, Probability theory on algebraic and topological structures, observable, Integration with respect to measures and other set functions
MV-algebras, MV-algebra with product, conditional expectation, martingale convergence theorem, Probability theory on algebraic and topological structures, observable, Integration with respect to measures and other set functions
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 5 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
