这本由冯棉著的《结构推理(精)》研究命题逻辑的结构推理，分为四章：一、经典命题逻辑的结构推理；二、直觉主义命题逻辑的结构推理；三、相干命题逻辑及其线性片段的结构推理；四、和正结合演算的结构推理。内容涉及多种结构推理系统的建构，结构推理系统与相应公理系统的等价性，在语义理论的基础上，证明了各个结构推理系统的可靠性与完全性，并考察了正结合演算结构推理系统BL-D的可判定性。本书是教育部人文社会科学重点研究基地重大项目“结构推理及其应用研究”的最终成果。

结构推理是现代逻辑的重要推理方式之一，它从结构规则的层面上揭示日常推理中的多种推理方式，对于逻辑推理机制的深入研究和人工智能的开发具有重要的理论意义和实际价值。这本由冯棉著的《结构推理(精)》系统地考察了命题逻辑的结构推理，是探究这一逻辑前沿领域的力作。

前言

第一章 经典命题逻辑的结构推理

 §1.1 经典命题逻辑的结构推理系统PL

 §1.2 切割规则与其它导出规则

 §1.3 系统PL与相应公理系统P的等价性

第二章 直觉主义命题逻辑的结构推理

 §2.1 直觉主义命题逻辑的结构推理系统几

 §2.2 系统IL与相应公理系统Il，的等价性

 §2.3 二元关系语义

第三章 相干命题逻辑及其线性片段的结构推理

 §3.1 相干命题逻辑的结构推理系统RL及其线性片段BCL

 §3.2 系统RL、BCL与相应公理系统R、BC的等价性

 §3.3 三元关系语义

 §3.4 系统RL、BCL的完全性

第四章 正结合演算的结构推理

 §4.1 正结合演算的结构推理系统BL

 §4.2 系统BL与相应公理系统B的等价性

 §4.3 择类语义

 §4.4 正结合演算结构推理系统BL-D的可判定性

参考文献

符号表

索引

后记