结构证明论

书籍简介:

结构证明论研究形式系统中证明的结构.本书介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算,它们是结构证明论的基础理论.甘岑式矢列演算的基本定理是切割消除.运用证明论研究方法,通过分析证明的结构可以得到一些逻辑性质,如子公式性质、可判定性、插值性质等等.本书还介绍了经典模态命题逻辑以及一些代数逻辑的结构证明论.

书籍规格:

书籍信息归属:

结构证明论是科学出版社于2019.6出版的中图分类号为 B812.4 的主题关于 证明－高等学校－教材 的书籍。