結構推理（第二版）

定　價：￥68.00

作　者：	馮棉
出版社：	廣西師范大學出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

ISBN：	9787559828781	出版時間：	2020-07-01	包裝：	平裝
開本：	16開	頁數(shù)：	244	字數(shù)：

內容簡介

　　結構推理是現(xiàn)代邏輯的重要推理方式之一，它通過對各種結構規(guī)則的研究，從整體上處理一大類邏輯，具有良好的表現(xiàn)力。與此同時，借助于結構規(guī)則和聯(lián)結詞規(guī)則，也揭示出各個現(xiàn)代邏輯分支的差異，成為諸分支比較研究的有力工具。結構推理展現(xiàn)了日常推理中的多種推理方式，對于邏輯推理機制的深入研究和人工智能的開發(fā)具有重要的理論意義和實際價值?！督Y構推理（第二版）》研究命題邏輯的結構推理，涉及多種結構推理系統(tǒng)的建構，結構推理系統(tǒng)與相應公理系統(tǒng)的等價性，在語義理論的基礎上，證明了各個結構推理系統(tǒng)的可靠性與完全性，并考察了正結合演算結構推理系統(tǒng)BL-D的可判定性，是探究這一邏輯前沿領域的力作。

作者簡介

　　馮棉，華東師范大學終身教授，博士生導師，國務院特殊津貼獲得者，中國邏輯學會副會長，上海市邏輯學會會長，《邏輯學研究》雜志編委，臺灣大學客座教授（2013年）。撰有專著《經典邏輯與直覺主義邏輯》《廣義模態(tài)邏輯》《哲學邏輯與邏輯哲學》《相干與衍推邏輯》《可能世界與邏輯研究》《相干邏輯研究》《結構推理》《相干與衍推謂詞邏輯》等多部。參與編寫《哲學大辭典》《計算機科學技術百科全書》《辭?！贰锻鈬軐W大辭典》《大辭?！贰哆壿媽W大辭典》（副主編）等辭書和《邏輯學導論》等多部教材。先后承擔多項國家和教育部基金項目，著作和論文獲教育部“高等學?？茖W研究優(yōu)秀成果獎”、上海市哲學社會科學優(yōu)秀學術成果獎和“金岳霖學術獎”。主要研究領域為“現(xiàn)代邏輯”和“邏輯哲學”。

圖書目錄

第一章經典命題邏輯的結構推理
§1．1 經典命題邏輯的結構推理系統(tǒng)PL
§1．2 切割規(guī)則與其他導出規(guī)則
§1．3 系統(tǒng)PL與相應公理系統(tǒng)P的等價性
第二章直覺主義命題邏輯的結構推理
§2．1 直覺主義命題邏輯的結構推理系統(tǒng)PL
§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的可判定性
參考文獻
符號表
索引
初版后記