
- 作 者:裘江杰著
- 出 版 社:北京:中国社会科学出版社
- 出版年份:2014
- ISBN:9787516141069
- 标注页数:255 页
- PDF页数:261 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式,该格式图书只能阅读和打印,不能再次编辑。
2、除分上下册或者多册的情况下,一般PDF页数一定要大于标注页数才建议下单购买。【本资源261 ≥255页】
图书下载及付费说明
1、所有的电子图书为PDF格式,支持电脑、手机、平板等各类电子设备阅读;可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 绪论 1
第一节 预备知识 1
第二节 典范问题研究简述 21
第三节 本书的内容安排 27
第二章 典范框架 29
第一节 典范框架与逻辑 29
第二节 典范框架的结构 38
第三节 模态框架的拟模态理论 49
第四节 模态框架的典范度 57
第五节 模态框架上的拓扑结构 62
第三章 典范的公式 69
第一节 典范的模态公式 69
第二节 强典范公式的一个刻画 73
第三节 初等的公式 77
第四节 初等典范的公式 94
第五节 萨奎斯特公式与归纳公式 97
第六节 萨奎斯特典范定理 107
第四章 法因定理与法因问题 114
第一节 法因定理 114
第二节 初等完全与典范等价的逻辑 124
第三节 逻辑KM 140
第四节 一个典范但不初等的逻辑 158
第五章 典范逻辑的几个侧面 167
第一节 典范公理化 167
第二节 典范公理化的逻辑 186
第三节 具有有穷框架性的典范逻辑 195
第六章 代数角度看典范 212
第一节 代数与逻辑 213
第二节 对偶 221
第三节 法因定理的代数证明 234
参考文献 242
索引 249
后记 253