- 作 者：张清宇等著
- 出 版 社：北京：社会科学文献出版社
- 出版年份：1997
- ISBN：7800509028
- 标注页数：499 页
- PDF页数：514 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源514 ≥499页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
前言页 1
前言 1
第1章 一阶逻辑 1
1 命题逻辑的证明方法 2
2 不用联结词和量词的一阶逻辑系统 25
3 一阶逻辑的公理系统 55
第2章 模态逻辑 69
1 模态系统 71
2 正规模态系统 84
3 模态谓词逻辑 109
第3章 时态逻辑 120
1 语言 122
2 解释 125
3 形式系统 129
4 时态逻辑的完全性 146
5 禁对称性和完全性 152
6 判定问题 158
7 带量词的时态逻辑 165
8 时态逻辑与模态逻辑 169
9 其他时态词 176
第4章 条件句逻辑 181
1 形式系统 185
2 邻域模型论 192
3 关系模型论 199
4 球形系统模型论 209
5 择类函数模型论 218
6 诸语义之比较 223
5 量化条件句逻辑 232
第5章 多值逻辑 243
1 卢卡西维兹的三值逻辑 244
2 布奇瓦尔的三值逻辑 247
3 克利尼的三值逻辑 250
4 卢卡西维兹的m+1值逻辑 253
5 卢卡西维兹的无穷值逻辑 254
6 后承关系 256
7 演算 262
8 多值谓词逻辑 273
9 波斯特代数 280
第6章 相干逻辑 289
1 纯相干蕴涵部分 292
2 相干命题逻辑 311
3 相干命题逻辑的关系语义 335
第7章 直觉主义逻辑 351
1 直觉主义命题逻辑 356
2 直觉主义谓词逻辑 366
3 克里普克语义 374
4 完全性 386
第8章 弗协调逻辑 394
1 弗协调命题逻辑 396
2 弗协调模态命题逻辑 430
3 弗协调时态命题逻辑 447
第9章 哥德尔不完全性定理 462
1 形式算术 464
2 递归函数 471
3 算术化 481
4 数字可表示性 485
5 哥德尔不全性定理 491