Skip to main content
SpringerLink
Log in

Probability Measures in Gödel\(_\varDelta \) Logic

  • Conference paper
  • First Online:
Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10369))

Abstract

In this paper we define and axiomatise finitely additive probability measures for events described by formulas in Gödel\(_\varDelta \) (G\(_\varDelta \)) propositional logic. In particular we show that our axioms fully characterise finitely additive probability measures over the free finitely generated algebras in the variety constituting the algebraic semantics of G\(_\varDelta \) as integrals of elements of those algebras (represented canonically as algebras of [0, 1]-valued functions), with respect to Borel probability measures.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Aguzzoli, S., Bianchi, M., Valota, D.: A note on drastic product logic. In: Laurent, A., Strauss, O., Bouchon-Meunier, B., Yager, R.R. (eds.) IPMU 2014. CCIS, vol. 443, pp. 365–374. Springer, Cham (2014). doi:10.1007/978-3-319-08855-6_37

    Google Scholar 

  2. Aguzzoli, S., Codara, P.: Recursive formulas to compute coproducts of finite Gödel algebras and related structures. In: 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). pp. 201–208 (2016)

    Google Scholar 

  3. Aguzzoli, S., D’Antona, O.M., Marra, V.: Computing minimal axiomatizations in Gödel propositional logic. J. Log. Comput. 21, 791–812 (2011)

    Article  MATH  Google Scholar 

  4. Aguzzoli, S., Gerla, B.: Probability measures in the logic of nilpotent minimum. Stud. Log. 94(2), 151–176 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  5. Aguzzoli, S., Gerla, B., Marra, V.: De Finetti’s no-Dutch-book criterion for Gödel logic. Stud. Logica 90, 25–41 (2008)

    Article  MATH  Google Scholar 

  6. Aguzzoli, S., Gerla, B., Marra, V.: Defuzzifying formulas in Gödel logic through finitely additive measures. In: 2008 IEEE International Conference on Fuzzy Systems (IEEE World Congress on Computational Intelligence), pp. 1886–1893 (2008)

    Google Scholar 

  7. Baaz, M.: Infinite-valued Gödel logics with \(0\)-\(1\)-projections and relativizations. In: Hájek, P. (ed.) Gödel’96: Logical foundations of mathematics, computer science and physics–Kurt Gödel’s legacy, Brno, Czech Republic, August 1996, proceedings. Lecture Notes in Logic, vol. 6, pp. 23–33. Springer-Verlag, Berlin (1996)

    Google Scholar 

  8. Blok, W., Pigozzi, D.: Algebraizable logics, Memoirs of The American Mathematical Society, vol. 77. American Mathematical Society (1989)

    Google Scholar 

  9. Cintula, P., Hájek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic, vol. 1, 2, 3. College Publications, London (2011)

    MATH  Google Scholar 

  10. Hájek, P.: Metamathematics of Fuzzy Logic, Trends in Logic, vol. 4. Kluwer Academic Publishers, Dordrecht (1998)

    Book  MATH  Google Scholar 

  11. Mundici, D.: Averaging the truth-value in Łukasiewicz logic. Stud. Logica 55(1), 113–127 (1995)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Università degli Studi di Milano, via Comelico 39/41, 20135, Milan, Italy

    Stefano Aguzzoli & Diego Valota

  2. Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria, via Mazzini 5, 21100, Varese, Italy

    Matteo Bianchi & Brunella Gerla

Authors
  1. Stefano Aguzzoli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matteo Bianchi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Brunella Gerla
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Diego Valota
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stefano Aguzzoli .

Editor information

Editors and Affiliations

  1. IDSIA, Lugano, Switzerland

    Alessandro Antonucci

  2. ONERA, Toulouse, France

    Laurence Cholvy

  3. Aix-Marseille University, Marseille, France

    Odile Papini

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Aguzzoli, S., Bianchi, M., Gerla, B., Valota, D. (2017). Probability Measures in Gödel\(_\varDelta \) Logic. In: Antonucci, A., Cholvy, L., Papini, O. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2017. Lecture Notes in Computer Science(), vol 10369. Springer, Cham. https://doi.org/10.1007/978-3-319-61581-3_32

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-61581-3_32

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-61580-6

  • Online ISBN: 978-3-319-61581-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation