Franco Montagna's work on provability logic and many-valued logic (Q300553): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q804563
Property / author
 
Property / author: Q300551 / rank
Normal 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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references