证明论

表系统

表系统使用结构证明论的解析证明的中心思想来为一大类的逻辑提供决策或者准决策进程。

序分析

序分析是为形式化算术和分析的理论提供组合式自洽性证明的有力技术。

亚结构逻辑

参看

证明技术

中间逻辑（intermediate logic）

证明论语义

参考

J. Avigad, E.H. Reck, 2001 .“Clarifying the nature of the infinite”: the development of metamathematics and proof theory. Carnegie-Mellon Technical Report CMU-PHIL-120.

A. S. Troelstra, H. Schwichtenberg. Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press. ISBN 0521779111

G. Gentzen. Investigations into logical deduction. In M. E. Szabo, editor, Collected Papers of Gerhard Gentzen. North-Holland, 1969.

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。