Weakly divisible MV-algebras and product (Q1295896)

The authors prove that any weakly divisible \(\sigma\)-complete (and hence divisible) MV-algebra \(M\) is isomorphic, as an MV-algebra, with the set of all continuous fuzzy subsets defined on the set of maximal ideals of \(M\). They use this to define on \(M\) an associative, commutative product with \(1\) as the identity. As a result, any system of observables on \(M\) admits a unique joint observable with respect to this product.