《結構推理》是2015年廣西師範大學出版社出版的圖書，作者是馮棉。
基本介紹
- 書名：結構推理
- 作者：馮棉
- ISBN：9787549561971
- 頁數：260頁
- 定價：68元
- 出版社：廣西師範大學出版社
- 出版時間：2015年3月
- 裝幀：精裝
- 開本：16開
內容簡介,圖書目錄,
內容簡介
《結構推理》研究命題邏輯的結構推理，分為四章：一、經典命題邏輯的結構推理；二、直覺主義命題邏輯的結構推理；三、相干命題邏輯及其線性片段的結構推理；四、和正結合演算的結構推理。內容涉及多種結構推理系統的建構，結構推理系統與相應公理系統的等價性，在語義理論的基礎上，證明了各個結構推理系統的可靠性與完全性，並考察了正結合演算結構推理系統BL-D的可判定性。
《結構推理》是教育部人文社會科學重點研究基地重大項目“結構推理及其套用研究”的最終成果。
圖書目錄
第一章 經典命題邏輯的結構推理
§1. 1 經典命題邏輯的結構推理系統PL
§1. 2 切割規則與其它導出規則
§1. 3 系統PL與相應公理系統P的等價性
第二章 直覺主義命題邏輯的結構推理
§2. 1 直覺主義命題邏輯的結構推理系統IL
§2. 2 系統IL與相應公理系統IP的等價性
§2. 3 二元關係語義
第三章 相干命題邏輯及其線性片段的結構推理
§3. 1 相干命題邏輯的結構推理系統RL及其線性片段BCL
§3. 2 系統RL、BCL與相應公理系統R、BC的等價性
§3. 3 三元關係語義
§3. 4 系統RL、BCL的完全性
第四章 正結合演算的結構推理
§4. 1 正結合演算的結構推理系統BL
§4. 2 系統BL與相應公理系統B的等價性
§4. 3 擇類語義
§4. 4 正結合演算結構推理系統BL-D的可判定性
參考文獻
符號表
索引
後記
