Switch to: References

Add citations

You must login to add citations.
  1. Franco Montagna’s Work on Provability Logic and Many-valued Logic.Lev Beklemishev & Tommaso Flaminio - 2016 - Studia Logica 104 (1):1-46.
    Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic.
    Download  
     
    Export citation  
     
    Bookmark  
  • Coherence in the aggregate: a betting method for belief functions on many-valued events.Tommaso Flaminio, Lluis Godo & Hykel Hosni - unknown
    Betting methods, of which de Finetti's Dutch Book is by far the most well-known, are uncertainty modelling devices which accomplish a twofold aim. Whilst providing an interpretation of the relevant measure of uncertainty, they also provide a formal definition of coherence. The main purpose of this paper is to put forward a betting method for belief functions on MV-algebras of many-valued events which allows us to isolate the corresponding coherence criterion, which we term coherence in the aggregate. Our framework generalises (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations