相關商品
商品簡介
作者簡介
目次
商品簡介
結構推理是現代邏輯的重要推理方式之一，它通過對各種結構規則的研究，從整體上處理一大類邏輯，具有良好的表現力。與此同時，借助於結構規則和聯結詞規則，也揭示出各個現代邏輯分支的差異，成為諸分支比較研究的有力工具。
結構推理展現了日常推理中的多種推理方式，對於邏輯推理機制的深入研究和人工智能的開發具有重要的理論意義和實際價值。
《結構推理（第二版）》研究命題邏輯的結構推理，涉及多種結構推理系統的建構，結構推理系統與相應公理系統的等價性，在語義理論的基礎上，證明了各個結構推理系統的可靠性與完全性，並考察了正結合演算結構推理系統BL-D的可判定性，是探究這一邏輯前沿領域的力作。
結構推理展現了日常推理中的多種推理方式，對於邏輯推理機制的深入研究和人工智能的開發具有重要的理論意義和實際價值。
《結構推理（第二版）》研究命題邏輯的結構推理，涉及多種結構推理系統的建構，結構推理系統與相應公理系統的等價性，在語義理論的基礎上，證明了各個結構推理系統的可靠性與完全性，並考察了正結合演算結構推理系統BL-D的可判定性，是探究這一邏輯前沿領域的力作。
作者簡介
馮棉,華東師範大學終身教授，博士生導師，國務院特殊津貼獲得者，中國邏輯學會副會長，上海市邏輯學會會長，《邏輯學研究》雜志編委，臺灣大學客座教授（2013年）。
撰有專著《經典邏輯與直覺主義邏輯》《廣義模態邏輯》《哲學邏輯與邏輯哲學》《相干與衍推邏輯》《可能世界與邏輯研究》《相干邏輯研究》《結構推理》《相干與衍推謂詞邏輯》等多部。參與編寫《哲學大辭典》《計算機科學技術百科全書》《辭海》《外國哲學大辭典》《大辭海》《邏輯學大辭典》（副主編）等辭書和《邏輯學導論》等多部教材。
先後承擔多項國家和教育部基金項目，著作和論文獲教育部“高等學校科學研究優秀成果獎”、上海市哲學社會科學優秀學術成果獎和“金岳霖學術獎”。主要研究領域為“現代邏輯”和“邏輯哲學”。
撰有專著《經典邏輯與直覺主義邏輯》《廣義模態邏輯》《哲學邏輯與邏輯哲學》《相干與衍推邏輯》《可能世界與邏輯研究》《相干邏輯研究》《結構推理》《相干與衍推謂詞邏輯》等多部。參與編寫《哲學大辭典》《計算機科學技術百科全書》《辭海》《外國哲學大辭典》《大辭海》《邏輯學大辭典》（副主編）等辭書和《邏輯學導論》等多部教材。
先後承擔多項國家和教育部基金項目，著作和論文獲教育部“高等學校科學研究優秀成果獎”、上海市哲學社會科學優秀學術成果獎和“金岳霖學術獎”。主要研究領域為“現代邏輯”和“邏輯哲學”。
目次
第一章 經典命題邏輯的結構推理
§1．1 經典命題邏輯的結構推理系統PL
§1．2 切割規則與其他導出規則
§1．3 系統PL與相應公理系統P的等價性
第二章 直覺主義命題邏輯的結構推理
§2．1 直覺主義命題邏輯的結構推理系統PL
§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的可判定性
參考文獻
符號表
索引
初版後記
§1．1 經典命題邏輯的結構推理系統PL
§1．2 切割規則與其他導出規則
§1．3 系統PL與相應公理系統P的等價性
第二章 直覺主義命題邏輯的結構推理
§2．1 直覺主義命題邏輯的結構推理系統PL
§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的可判定性
參考文獻
符號表
索引
初版後記
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。