结构推理(第2版)

**章 经典命题逻辑的结构推理
§1．1 经典命题逻辑的结构推理系统PL
§1．2 切割规则与其他导出规则
§1．3 系统PL与相应公理系统P的等价性

第二章 直觉主义命题逻辑的结构推理
§2．1 直觉主义命题逻辑的结构推理系统PL
§2．2 系统IL与相应公理系统IP的等价性
§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的可判定性

参考文献
符号表
索引
初版后记