结构证明论 《结构证明论》,作者:马明辉编著 出版社:科学出版社 ISBN:9787030616012。结构证明论研究形式系统中证明的结构.《结构证明论》介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算,它们是结构证明论的基础理论.根岑式矢列演算的基本定理是切割消除. 运用证明论研究方法, 通过分析证明的结构可以得到一些逻辑性质,如子公式性质、可判定性、插值性质等.《结构证明论》还介 壹号书单 2019年06月01日 0 点赞 0 评论 53 浏览
