Skip to main content
SpringerLink
Log in

De Finetti’s No-Dutch-Book Criterion for Gödel logic

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We extend de Finetti’s No-Dutch-Book Criterion to Gödel infinite-valued propositional logic.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  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. D’Antona Ottavio M., Vincenzo Marra.: ‘Computing coproducts of finitely presented Gödel algebras’,. Ann. Pure Appl. Logic 142(1-3), 202–211 (2006)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  6. Hájek Petr.: Metamathematics of fuzzy logic, vol. 4 of Trends in Logic—Studia Logica Library. Kluwer Academic Publishers, Dordrecht (1998)

    Google Scholar 

  7. Horn Alfred.: ‘Free L-algebras’,. J. Symbolic Logic 34, 475–480 (1969)

    Article  Google Scholar 

  8. Horn Alfred.: ‘Logic with truth values in a linearly ordered Heyting algebra’,. J. Symbolic Logic 34, 395–408 (1969)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  10. Mundici Daniele.: ‘Bookmaking over infinite-valued events’,. Internat. J. Approx. Reason. 43(3), 223–240 (2006)

    Article  Google Scholar 

  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/.

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano, via Comelico, 39/41, I-20135, Milano, Italy

    Stefano Aguzzoli

  2. Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, via Mazzini, 5, I-21100, Varese, Italy

    Brunella Gerla

  3. Dipartimento di Informatica e Comunicazione, Università degli Studi di Milano, via Comelico, 39/41, I-20135, Milano, Italy

    Vincenzo Marra

Authors
  1. Stefano Aguzzoli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Brunella Gerla
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Vincenzo Marra
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vincenzo Marra.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Aguzzoli, S., Gerla, B. & Marra, V. De Finetti’s No-Dutch-Book Criterion for Gödel logic. Stud Logica 90, 25–41 (2008). https://doi.org/10.1007/s11225-008-9142-5

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-008-9142-5

Keywords

Search

Navigation