书籍介绍
结构证明论研究形式系统中证明的结构.《结构证明论》介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算，它们是结构证明论的基础理论.根岑式矢列演算的基本定理是切割消除. 运用证明论研究方法， 通过分析证明的结构可以得到一些逻辑性质，如子公式性质、可判定性、插值性质等.《结构证明论》还介绍了经典模态命题逻辑及一些代数逻辑的结构证明论.
目录
用户评论
逻辑学 证明论
证明论入门，内容不算太深。概念和定理都很直观，证明不难但相当繁琐
这本就属于定理和证明的列举(还跳步骤...
收藏
结构证明论研究形式系统中证明的结构.《结构证明论》介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算，它们是结构证明论的基础理论.根岑式矢列演算的基本定理是切割消除. 运用证明论研究方法， 通过分析证明的结构可以得到一些逻辑性质，如子公式性质、可判定性、插值性质等.《结构证明论》还介绍了经典模态命题逻辑及一些代数逻辑的结构证明论.