結構證明論

《結構證明論》是2019年科學出版社出版的圖書，作者是馬明輝。

基本介紹

• 書名：結構證明論 
• 作者：馬明輝
• ISBN：9787030616012
• 出版時間：2019-06

內容簡介

結構證明論研究形式系統中證明的結構.《結構證明論》介紹經典邏輯和直覺主義邏輯的自然演繹和矢列演算,它們是結構證明論的基礎理論.根岑式矢列演算的基本定理是切割消除. 運用證明論研究方法, 通過分析證明的結構可以得到一些邏輯性質,如子公式性質、可判定性、插值性質等.《結構證明論》還介紹了經典模態命題邏輯及一些代數邏輯的結構證明論.

圖書目錄