×

Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic. (English) Zbl 1266.06011

Mundici’s version of the De Finetti coherence criterion states that a betting book on events of Lukasiewicz logic is coherent (that is, it is not a sure loss for the bookmaker) if and only if it can be extended to a state of the Lindenbaum MV-algebra of the logic. However, this works if the bet is reversible, in the sense that the bettor can bet negative values. If instead the bettor is constrained to play nonnegative values, coherence is not very sensible anymore, and a more sensible criterion is the absence of bad bets, that is, bets which admit a sure improvement. As the main theorem of the paper states, the absence of a bad bet in a book can be characterized in De Finetti style via maxima of a set of states, rather than single states. The rough idea is that maxima of sets of states correspond to “imprecise probabilities”. Maxima of sets of states on MV-algebras admit an intrinsic axiomatization, but only under divisibility hypotheses (in particular, 2-divisible MV-algebras are considered).

MSC:

06D35 MV-algebras
03B50 Many-valued logic
03G25 Other algebras related to logic
06F20 Ordered abelian groups, Riesz groups, ordered linear spaces
46A22 Theorems of Hahn-Banach type; extension and lifting of functionals and operators
60A86 Fuzzy probability
91A60 Probabilistic games; gambling
Full Text: DOI

References:

[1] DOI: 10.1007/BF00532649 · Zbl 0553.28002 · doi:10.1007/BF00532649
[2] DOI: 10.1090/S0002-9947-10-04837-3 · Zbl 1200.03024 · doi:10.1090/S0002-9947-10-04837-3
[3] Chang C. C., Transactions of the American Mathematical Society 93 pp 74– (1989)
[4] DOI: 10.1111/j.1467-8640.1991.tb00391.x · doi:10.1111/j.1467-8640.1991.tb00391.x
[5] DOI: 10.1016/j.fss.2006.06.015 · Zbl 1107.06007 · doi:10.1016/j.fss.2006.06.015
[6] DOI: 10.1016/j.ijar.2007.02.005 · Zbl 1189.03076 · doi:10.1016/j.ijar.2007.02.005
[7] DOI: 10.2307/2268660 · Zbl 0043.00901 · doi:10.2307/2268660
[8] DOI: 10.1016/0022-1236(86)90015-7 · Zbl 0597.46059 · doi:10.1016/0022-1236(86)90015-7
[9] DOI: 10.1007/BF01053035 · Zbl 0836.03016 · doi:10.1007/BF01053035
[10] DOI: 10.1016/j.ijar.2006.04.004 · Zbl 1123.03011 · doi:10.1016/j.ijar.2006.04.004
[11] DOI: 10.1080/00927870802104394 · Zbl 1154.06008 · doi:10.1080/00927870802104394
[12] DOI: 10.3792/pia/1195578821 · Zbl 0063.09069 · doi:10.3792/pia/1195578821
[13] DOI: 10.3792/pia/1195578586 · Zbl 0063.09073 · doi:10.3792/pia/1195578586
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.