結構推理

第一章 經典命題邏輯的結構推理
§1. 1 經典命題邏輯的結構推理系統(tǒng)PL
§1. 2 切割規(guī)則與其它導出規(guī)則
§1. 3 系統(tǒng)PL與相應公理系統(tǒng)P的等價性
第二章 直覺主義命題邏輯的結構推理
§2. 1 直覺主義命題邏輯的結構推理系統(tǒng)IL
§2. 2 系統(tǒng)IL與相應公理系統(tǒng)IP的等價性
§2. 3 二元關系語義
第三章 相干命題邏輯及其線性片段的結構推理
§3. 1 相干命題邏輯的結構推理系統(tǒng)RL及其線性片段BCL
§3. 2 系統(tǒng)RL、BCL與相應公理系統(tǒng)R、BC的等價性
§3. 3 三元關系語義
§3. 4 系統(tǒng)RL、BCL的完全性
第四章 正結合演算的結構推理
§4. 1 正結合演算的結構推理系統(tǒng)BL
§4. 2 系統(tǒng)BL與相應公理系統(tǒng)B的等價性
§4. 3 擇類語義
§4. 4 正結合演算結構推理系統(tǒng)BL-D的可判定性
參考文獻
符號表
索引
后記