前言页 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