结构推理

内容概要

冯棉，华东师范大学终身教授，博士生导师，哲学系逻辑室主任，逻辑学博士点负责人，国务院特殊津贴获得者，中国逻辑学会副会长，上海市逻辑学会会长。撰有专著《经典逻辑与直觉主义逻辑》、《广义模态逻辑》、《哲学逻辑与逻辑哲学》、《相干与衍推逻辑》、《可能世界与逻辑研究》、《相干逻辑研究》等多部。参与编写《哲学大辞典》、《计算机科学技术百科全书》、《辞海》、《外国哲学大辞典》、《逻辑学大辞典》（副主编）、《大辞海》等辞书和《逻辑学导论》等多部教材。主要研究领域为“现代逻辑”和“逻辑哲学”。

书籍目录

前言

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

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的可判定性



参考文献

符号表

索引

后记

作者简介

本书研究命题逻辑的结构推理，分为四章：一、经典命题逻辑的结构推理；二、直觉主义命题逻辑的结构推理；三、相干命题逻辑及其线性片段的结构推理；四、和正结合演算的结构推理。内容涉及多种结构推理系统的建构，结构推理系统与相应公理系统的等价性，在语义理论的基础上，证明了各个结构推理系统的可靠性与完全性，并考察了正结合演算结构推理系统BL-D的可判定性。

本书是教育部人文社会科学重点研究基地重大项目“结构推理及其应用研究”的最终成果。

 结构推理下载