On the existence of probability measures on fuzzy measurable spaces (Q1180256)

An \(F\)-quantum space [see the author and the reviewer, Fuzzy Sets Syst. 39, No. 1, 65-73 (1991)] is a couple \((X,M)\), where \(X\neq\emptyset\) and \(M\subset\langle 0,1\rangle^ X\) such that \(1_ X\in M\), \((1/2)_ X\not\in M\), \(f\in M\) implies \(1-f\in M\) and \(f_ n\in M\) \((n=1,2,\dots)\) implies \(\sup_ n f_ n\in M\). A probability on \(M\) is a mapping \(m: M\to\langle 0,1\rangle\) such that \(m(\max(f,1-f))=1\) for every \(f\in M\), and \(m(\sup_ n f_ n)=\sum_ n m(f_ n)\), whenever \(f_ n\in M\) \((n=1,2,\dots)\), \(f_ n\leq 1-f_ m\) \((n\neq m)\). The author presents some classes of \(F\)-quantum spaces which possess at least one probability measure.