De Finetti's no-Dutch-book criterion for Gödel logic

Studia Logica

Volumn 90, Issue 1, 2008, Pages 25-41

  Aguzzoli, Stefano ^a   Gerla, Brunella ^b   Marra, Vincenzo ^a  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSITY OF INSUBRIA   (Italy)

Author keywords

De Finetti's Criterion; Dutch book; G del infinite valued propositional logic; Intuitionistic logic with prelinearity; Probability

Indexed keywords

EID: 55149088104     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/s11225-008-9142-5     Document Type: Conference Paper

References (12)

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.
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.
3. M. D'Antona Ottavio Marra Vincenzo 2006 'Computing coproducts of finitely presented Gödel algebras', Ann. Pure Appl. Logic 142 1-3 202 211
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.
5. Translated by Antonio Machì and Adrian Smith. Wiley Series in Probability and Mathematical Statistics, John Wiley & Sons, London-New York-Sydney, 1974 & 1975.
6. Brunella Gerla 2000 'MV-algebras, multiple bets and subjective states', Internat. J. Approx. Reason., 25 1 1 13
7. Hájek Petr.: Metamathematics of fuzzy logic, vol. 4 of Trends in Logic-Studia Logica Library. Kluwer Academic Publishers, Dordrecht (1998)
8. Alfred Horn 1969 'Free L-algebras', J. Symbolic Logic 34 475 480
9. Alfred Horn 1969 'Logic with truth values in a linearly ordered Heyting algebra', J. Symbolic Logic 34 395 408
10. Jan Kühr Mundici Daniele 2007 'De Finetti theorem and Borel states in [0, 1]- valued algebraic logic', Internat. J. Approx. Reason. 46 3 605 616
11. Daniele Mundici 2006 'Bookmaking over infinite-valued events', Internat. J. Approx. Reason. 43 3 223 240
12. 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/.