Weakly divisible MV-algebras and product
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.
scientific article; zbMATH DE number 1309055
scientific article