- 作 者：张清宇等著
- 出 版 社：北京：社会科学文献出版社
- 出版年份：1997
- ISBN：7800509028
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
14
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
前言页 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