結(jié)構(gòu)證明論

目錄
叢書序
前言
第1章 命題邏輯 1
1.1 經(jīng)典命題邏輯 1
1.2 直覺主義命題邏輯 15
1.3 習(xí)題 22
第2章 自然演繹 26
2.1 費(fèi)奇式自然演繹 26
2.2 根岑式自然演繹系統(tǒng) 32
2.3 正規(guī)化 39
2.4 完全性 49
2.5 習(xí)題 51
第3章 矢列演算 54
3.1 G0型矢列演算 54
3.2 切割消除 61
3.3 可判定性 81
3.4 插值性質(zhì) 88
3.5 習(xí)題 100
第4章 矢列演算的結(jié)構(gòu)規(guī)則 104
4.1 G1型矢列演算 104
4.2 G2型矢列演算 118
4.3 G3型矢列演算 120
4.4 G4型矢列演算 140
4.5 嵌入定理 150
4.6 習(xí)題 156
第5章 一階邏輯 158
5.1 一階邏輯的公理系統(tǒng) 158
5.2 一階邏輯的矢列演算 170
5.3 直覺主義謂詞邏輯的矢列演算 181
5.4 習(xí)題 186？
第6章 經(jīng)典模態(tài)命題邏輯 188
6.1 正規(guī)模態(tài)邏輯 188
6.2 模態(tài)矢列演算 202
6.3 超矢列演算 215
6.4 習(xí)題 225
第7章 代數(shù)邏輯 228
7.1 偏序代數(shù)結(jié)構(gòu) 228
7.2 格與分配格 231
7.3 加算子的分配格 244
7.4 習(xí)題 251
參考文獻(xiàn) 253