Franco Montagna’s Work on Provability Logic and Many-valued Logic

&
Studia Logica 104 (1):1-46 (2016)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1007/s11225-016-9654-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Fuzzy logic and arithmetical hierarchy, II.Petr Hájek - 1997 - Studia Logica 58 (1):129-141.
Many-valued logic of informal provability: A non-deterministic strategy.Pawel Pawlowski & Rafal Urbaniak - 2018 - Review of Symbolic Logic 11 (2):207-223.
Remarks on a survey article on many valued logic by A. Urquhart.Andrzej Wroński - 1987 - Studia Logica 46 (3):275 - 278.
omnibus Review. [REVIEW]Lev Beklemishev - 1993 - Journal of Symbolic Logic 58 (2):715-717.
Logic of informal provability with truth values.Pawel Pawlowski & Rafal Urbaniak - 2023 - Logic Journal of the IGPL 31 (1):172-193.
Franco Montagna, Giulia Simi, and Andrea Sorbi. Logic and probabilistic systems. Archive for mathematical logic, vol. 35 , pp. 225–261. [REVIEW]J. B. Paris - 2000 - Bulletin of Symbolic Logic 6 (2):223-225.
Many-valued logics of extended Gentzen style II.Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (4):493-528.
[Omnibus Review].Lev D. Beklemishev - 1993 - Journal of Symbolic Logic 58 (2):715-717.
Many-valued logic and cognition: Foreword.Shier Ju & Daniele Mundici - 2008 - Studia Logica 90 (1):1-2.
Review: Franco Montagna, Giulia Simi, Andrea Sorbi, Logic and Probabilistic Systems. [REVIEW]J. B. Paris - 2000 - Bulletin of Symbolic Logic 6 (2):223-225.

Analytics

Added to PP
2016-01-26

Downloads
47 (#329,162)

6 months
9 (#437,808)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

No citations found.

Add more citations

References found in this work

Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
Coherence and the axioms of confirmation.Abner Shimony - 1955 - Journal of Symbolic Logic 20 (1):1-28.
Fair bets and inductive probabilities.John G. Kemeny - 1955 - Journal of Symbolic Logic 20 (3):263-273.
The interpretability logic of peano arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.

View all 56 references / Add more references