No label defined (Q4944951)

On an MV-algebra \(L\) the conditional event \((a\|b)\) is defined as an interval \(\{x\in L;\;a\wedge b\leq x\leq b\to a\}\), where \(b\to a=a\oplus b'\). On the set \(\widetilde L\) of conditional events a Girard-algebra structure is constructed extending the MV-algebra structure on \(L\). Also an uncertainty measure (i.e. an isotonic mapping \(m:L\to [0,1]\) with \(m(0)=0\), \(m(1)=1)\) is extended and the additivity of \(m\) and its extension is discussed. Then the second concept of conditional events is developed: \((a|b)=C(a\wedge b,b\to a)\in L\) where \(C(u,v)\) is defined for all \(u\leq v\), \(C(u,u)=u\), \(C\) is isotonic and \((C(a,b))'=C(b',a')\). The author obtains good results for so-called strict MV-algebras \(L\), i.e. such that for each \(b\in L\) there exists \(r(b)\in L\) with \(r(b)\odot r(b)=b\), with \(a\odot a\leq b\Rightarrow a\leq r(b)\) and with \((r(0))'=r(0)\). The fuzzy situation and the Boolean situation are discussed partially. The paper is a continuation of a previous one [the author, Fuzzy Sets Syst. 92, No. 2, 241-250 (1997; Zbl 0935.28013)]. For the entire collection see [Zbl 0927.00008].