Franco Montagna’s Work on Provability Logic and Many-valued Logic
Studia Logica(2016)
摘要
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.
更多查看译文
关键词
Provability Logic,Many-valued Logic,Franco Montagna
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要