亚洲囯产一区二区,国产一级婬片永久免费看久久

內(nèi)容簡介

《結(jié)構(gòu)推理》研究命題邏輯的結(jié)構(gòu)推理，分為四章：一、經(jīng)典命題邏輯的結(jié)構(gòu)推理；二、直覺主義命題邏輯的結(jié)構(gòu)推理；三、相干命題邏輯及其線性片段的結(jié)構(gòu)推理；四、和正結(jié)合演算的結(jié)構(gòu)推理。內(nèi)容涉及多種結(jié)構(gòu)推理系統(tǒng)的建構(gòu)，結(jié)構(gòu)推理系統(tǒng)與相應公理系統(tǒng)的等價性，在語義理論的基礎(chǔ)上，證明了各個結(jié)構(gòu)推理系統(tǒng)的可靠性與完全性，并考察了正結(jié)合演算結(jié)構(gòu)推理系統(tǒng)BL-D的可判定性。
　　《結(jié)構(gòu)推理》是教育部人文社會科學重點研究基地重大項目“結(jié)構(gòu)推理及其應用研究”的最終成果。

作者簡介

　馮棉，華東師范大學終身教授，博士生導師，哲學系邏輯室主任，邏輯學博士點負責人，國務院特殊津貼獲得者，中國邏輯學會副會長，上海市邏輯學會會長。撰有專著《經(jīng)典邏輯與直覺主義邏輯》、《廣義模態(tài)邏輯》、《哲學邏輯與邏輯哲學》、《相干與衍推邏輯》、《可能世界與邏輯研究》、《相干邏輯研究》等多部。參與編寫《哲學大辭典》、《計算機科學技術(shù)百科全書》、《辭?！?、《外國哲學大辭典》、《邏輯學大辭典》（副主編）、《大辭?！返绒o書和《邏輯學導論》等多部教材。主要研究領(lǐng)域為“現(xiàn)代邏輯”和“邏輯哲學”。

圖書目錄

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