Franco Montagna's work on provability logic and many-valued logic (Q300553): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: author (P16): Item:Q804563 |
||
Property / author | |||
Property / author: Q300551 / rank | |||
Revision as of 22:30, 20 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Franco Montagna's work on provability logic and many-valued logic |
scientific article |
Statements
Franco Montagna's work on provability logic and many-valued logic (English)
0 references
28 June 2016
0 references
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)].
0 references
many-valued logic
0 references
provability logic
0 references
de Fintetti's betting game
0 references
Franco Montagna
0 references