Metric Completions of MV-algebras with States: An Approach to Stochastic Independence

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.