智慧的探索丛书 结构推理
作者:冯棉 著
出版时间:2015年版
丛编项: 智慧的探索丛书
内容简介
《结构推理》研究命题逻辑的结构推理,分为四章:一、经典命题逻辑的结构推理;二、直觉主义命题逻辑的结构推理;三、相干命题逻辑及其线性片段的结构推理;四、和正结合演算的结构推理。内容涉及多种结构推理系统的建构,结构推理系统与相应公理系统的等价性,在语义理论的基础上,证明了各个结构推理系统的可靠性与完全性,并考察了正结合演算结构推理系统BL-D的可判定性。
《结构推理》是教育部人文社会科学重点研究基地重大项目“结构推理及其应用研究”的最终成果。
目录
第一章 经典命题逻辑的结构推理
§1. 1 经典命题逻辑的结构推理系统PL
§1. 2 切割规则与其它导出规则
§1. 3 系统PL与相应公理系统P的等价性
第二章 直觉主义命题逻辑的结构推理
§2. 1 直觉主义命题逻辑的结构推理系统IL
§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的可判定性
参考文献
符号表
索引
后记