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

Lev Beklemishev, Tommaso Flaminio
2016 Studia Logica: An International Journal for Symbolic Logic  
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.
doi:10.1007/s11225-016-9654-3 fatcat:7dhk6qh25fdvfg2q3mydf4qs6m