Journal of Logic and Computation Advance Access published online on March 10, 2009
Journal of Logic and Computation, doi:10.1093/logcom/exp016
Original Papers |
Metric Completions of MV-algebras with States: An Approach to Stochastic Independence
tean
Faculty of Mathematics and Computer Science, University of Bucharest, Romania and Department of Mathematics, Technische Universität Darmstadt, Schlossgartenstrasse 7, 64289 Darmstadt, Germany.
E-mail: ileustean{at}mathematik.tu-darmstadt.de
Received 10 October 2008.
| Abstract |
|---|
The state theory on MV-algebras is a generalization of Boolean probability theory and is a counterpart of the theory of states defined on lattice-ordered groups. We first investigate the metric space naturally associated to an MV-algebra with a state. The metric completion of anMV-algebra is defined and characterized in relation with the geometric properties of the corresponding state. We propose a concept of independent probability MV-algebras, attempting to solve an open problem from Rie
an and Mundici.
Keywords: MV-algebras; states; metric completion; probability MV-algebras; stochastic independence