zbMATH — the first resource for mathematics

De Finetti’s no-Dutch-book criterion for Gödel logic. (English) Zbl 1165.03008
Suppose Blaise is a bettor and Ada is a bookmaker assigning to each event \(E_1\) in a finite set \(E\) a betting odd \(b(E_i)\) in the the real unit interval \([0,1]\). Then, according to de Finetti, Ada’s book is “coherent” if Blaise cannot choose (positive or negative) “stakes” for his bet on these events ensuring him a net win of at least one million Euro whatever happens. Note that a negative stake results in a reverse bet. Precise definitions are given in the paper under review. In 1931, de Finetti proved that a \([0,1]\)-valued assignment of betting odds to elements \(a_1,\dots, a_n\) of a Boolean algebra \(A\) is coherent iff it can be extended to a unit-preserving map of \(A\) into \([0,1]\) which is additive on all pairs of incompatible elements of \(A\). In short, coherent assignments are the same as restrictions of states. While states are finitely additive, by Riesz representation theorem, the states of \(A\) are in one-one correspondence with regular Borel probability measures on the Stone space of \(A\). Thus, de Finetti’s notion of coherence provides a natural introduction to (sigma-additive) probability theory. De Finetti’s result was later extended by J. Paris to various modal logics, by B. Gerla to finite-valued Łukasiewicz logics, by the present reviewer to infinite-valued Łukasiewicz logic, and by J. Kühr jointly with the present reviewer to all \([0,1]\)-valued logics with continuous connectives.
In the present paper, the authors extend de Finetti’s theorem to infinite-valued Gödel propositional logic. The proof uses the representation of finite Gödel algebras in terms of root systems, together with a technical result obtained by the same authors in their paper [Ann. Pure Appl. Logic 155, No. 3, 183–193 (2008; Zbl 1153.06004)].
This interesting paper features the first extension of de Finetti’s theorem to a well-known logic having a discontinuous connective.

03B50 Many-valued logic
03B48 Probability and inductive logic
06D35 MV-algebras
60A05 Axioms; other general questions in probability
60B05 Probability measures on topological spaces
Full Text: DOI
[1] Aguzzoli, Stefano, Brunella Gerla, and Corrado Manara, ’Poset representation for Gödel and nilpotent minimum logics’, in Lluís Godo (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings. Berlin: Springer. Lecture Notes in Computer Science 3571. Lecture Notes in Artificial Intelligence, 2005, pp. 662–674. · Zbl 1122.03017
[2] Aguzzoli, Stefano, Brunella Gerla, and Vincenzo Marra, ’Defuzzifying formulas in Gödel logic through finitely additive measures’, in Proceedings of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2008), 2008, pp. 1886–1893. · Zbl 1165.03008
[3] D’Antona Ottavio M., Vincenzo Marra.: ’Computing coproducts of finitely presented Gödel algebras’,. Ann. Pure Appl. Logic 142(1-3), 202–211 (2006) · Zbl 1099.03055
[4] de Finetti, Bruno, Teoria delle probabilità: sintesi introduttiva con appendice critica. Volumi primo e secondo, Giulio Einaudi Editore, Turin, 1970. Nuova Biblioteca Scientifica Einaudi, 25* et 25**. English translation in B. de Finetti, Theory of probability: a critical introductory treatment. Vol. 1 & 2. Translated by Antonio Machì and Adrian Smith. Wiley Series in Probability and Mathematical Statistics, John Wiley & Sons, London-New York-Sydney, 1974 & 1975.
[5] Gerla Brunella.: ’MV-algebras, multiple bets and subjective states’,. Internat. J. Approx. Reason., 25(1), 1–13 (2000) · Zbl 0958.06007
[6] Hájek Petr.: Metamathematics of fuzzy logic, vol. 4 of Trends in Logic–Studia Logica Library. Kluwer Academic Publishers, Dordrecht (1998)
[7] Horn Alfred.: ’Free L-algebras’,. J. Symbolic Logic 34, 475–480 (1969) · Zbl 0181.30001
[8] Horn Alfred.: ’Logic with truth values in a linearly ordered Heyting algebra’,. J. Symbolic Logic 34, 395–408 (1969) · Zbl 0181.29904
[9] Kühr Jan., Daniele Mundici.: ’De Finetti theorem and Borel states in [0, 1]- valued algebraic logic’,. Internat. J. Approx. Reason. 46, 3 605–616 (2007) · Zbl 1189.03076
[10] Mundici Daniele.: ’Bookmaking over infinite-valued events’,. Internat. J. Approx. Reason. 43(3), 223–240 (2006) · Zbl 1123.03011
[11] Paris, Jeff, ’A note on the Dutch Book method’, in Proceedings of the Second International Symposium on Imprecise Probabilities and their Applications (ISIPTA 2001), 2001, pp. 301–309. Available at http://www.maths.man.ac.uk/DeptWeb/Homepages/jbp/ .
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.