结构推理

文档类型

价格(积分)

购买连接

试读

PDF格式

1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。

2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源258 ≥239页】

1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

3、所有的电子图书都是原书直接扫描方式制作而成。

第一章经典命题逻辑的结构推理 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