当前位置： 结构推理 > 购买云解压PDF图书
- 作 者：冯棉著
- 出 版 社：桂林：广西师范大学出版社
- 出版年份：2015
- ISBN：9787549561971
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
9
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一章 经典命题逻辑的结构推理 1
1.1 经典命题逻辑的结构推理系统PL 1
1.2 切割规则与其它导出规则 10
1.3 系统PL与相应公理系统P的等价性 17
第二章 直觉主义命题逻辑的结构推理 24
2.1 直觉主义命题逻辑的结构推理系统IL 24
2.2 系统IL与相应公理系统IP的等价性 35
2.3 二元关系语义 44
第三章 相干命题逻辑及其线性片段的结构推理 64
3.1 相干命题逻辑的结构推理系统RL及其线性片段BCL 64
3.2 系统RL、BCL与相应公理系统R、BC的等价性 80
3.3 三元关系语义 92
3.4 系统RL、BCL的完全性 110
第四章 正结合演算的结构推理 138
4.1 正结合演算的结构推理系统BL 138
4.2 系统BL与相应公理系统B的等价性 155
4.3 择类语义 169
4.4 正结合演算结构推理系统BL-D的可判定性 198
参考文献 225
符号表 227
索引 232
后记 239