Franco Montagna's work on provability logic and many-valued logic (Q300553)

This paper celebrates the work of Franco Motagna on provability logic, many-valued logic and probability theory on many-valued events. Note that scanning the zbMATH database for ``au: Montagna, Franco'' results in a list of 128 documents. The paper opens with a overview of Montagna's work on provability logic, many-valued logic and generalized probability theory. The main part of the paper (Section 2), concentrates on Montagna's contribution to provability logic. Section 3 covers ``algebraic properties of BL-algebras'' investigated by Montagna in a series of papers starting with [\textit{P. Agliano} and \textit{F. Montagna}, J. Pure Appl. Algebra 181, No. 2--3, 105--129 (2003; Zbl 1034.06009)]. Finally, Section 4 describes Montagna's research in many-valued logic to investigate the foundations of probability theory on many-valued events, in particular, de Fintetti's betting game [\textit{B. de Finetti}, Fundam. Math. 17, 298--329 (1931; Zbl 0003.16303); \textit{D. de Jongh} et al., Stud. Log. 50, No. 1, 51--69 (1991; Zbl 0744.03057)].