马明辉 | 结构证明论（第二版）

编著：马明辉   ISBN：9787030754745 出版时间：2023年5月 中图分类号：B812.4 出版社：科学出版社

图书简介

本书以自然演绎系统为基础，通过引入直觉主义逻辑和经典逻辑的Gentzen矢列式系统，结合代数与证明论，从代数的角度介绍各种逻辑的证明论研究方法。本书侧重直觉主义逻辑和经典逻辑，还涉及子结构逻辑、模态逻辑等。本书共8章，首先介绍了结构证明论的发展历史，然后在此基础上介绍了经典逻辑和直觉主义逻辑的自然演绎和矢列演算，运用证明论研究方法，通过分析证明的结构得到一些逻辑性质，如子公式性质、可判定性、插值性质等。本书适合高校逻辑学及相关学科专业的高年级本科生和研究生阅读。