结构证明论
引用
收藏
作者：
马明辉编著
ISBN：
9787030616012
出版日期：
2019-06
版次：
1
中图分类号：
B812.4
学科分类：
哲学
丛书：
附注信息：
高等学校逻辑学专业系列教材
阅读
图书简介：
结构证明论研究形式系统中证明的结构.《结构证明论》介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算,它们是结构证明论的基础理论.根岑式矢列演算的基本定理是切割消除. 运用证明论研究方法, 通过分析证明的结构可以得到一些逻辑性质,如子公式性质、可判定性、插值性质等.《结构证明论》还介绍了经典模态命题逻辑及一些代数逻辑的结构证明论.
图书目录：
返回顶部
×
图书荐购
*
姓名:
*
机构名称:
*
院/系/所:
*
推荐人邮箱:
推荐理由:
