Interpretation of De Finetti coherence criterion in Łukasiewicz logic (Q1035659)

Let \(E\) be a set of \(n\) events and consider a set \(W\) of possible worlds, i.e. functions from \(E\) to \([0,1]\). The main theorem of the paper states that if \(W\) is a nonempty closed subset of \([0,1]^E\), then any other map \(\beta:E \to [0,1]\) that is ``coherent'' with respect to \(W\) (in the sense of De Finetti) is a state over the MV-algebra of McNaughton functions over \(n\) variables restricted to \(W\) (hence it is an integral with respect to a probability measure on \(W\)), and it is a convex combination of elements of \(W\) (and vice versa). Further, it is shown that any closed set \(W \subseteq [0,1]^E\) is associated with a theory \(\Theta\) in Łukasiewicz logic given by the set of formulas taking value 1 by the (unique) extensions of elements of \(W\) to the set of all Łukasiewicz formulas with \(n\) variables. Then probability assignments that are coherent with respect to a closed \(W\subseteq [0,1]^n\) are convex combinations of Łukasiewicz valuations satisfying \(\Theta\). Hence, when dealing with closed sets of possible worlds assigning values in \([0,1]\) to events, Łukasiewicz logic plays a prominent role.