作 者:馮棉 著
定 價:68
出 版 社:廣西師範大學出版社
出版日期:2020年07月01日
頁 數:260
裝 幀:平裝
ISBN:9787559828781
結構推理展現了日常推理中的多種推理方式,對於邏輯推理機制的深入研究和人工智能的開發具有重要的理論意義和實際價值。
●第一章 經典命題邏輯的結構推理
1.1 經典命題邏輯的結構推理繫統PL
1.2 切割規則與其他導出規則
1.3 繫統PL與相應公理繫統P的等價性
第二章 直覺主義命題邏輯的結構推理
2.1 直覺主義命題邏輯的結構推理繫統IL
2.2 繫統IL與相應公理繫統IP的等價性
2.3關繫語義
第三章 相干命題邏輯及其線性片段的結構推理
3.1 相干命題邏輯的結構推理繫統RL及其線性片段BCI
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的可判定性
參考文獻
符號表
索引
初版後記
結構推理是現代邏輯的重要推理方式之一,它通過對各種結構規則的研究,從整體上處理一大類邏輯,具有良好的表現力。與此同時,借助於結構規則和聯結詞規則,也揭示出各個現代邏輯分支的差異,成為諸分支比較研究的有力工具。結構推理展現了日常推理中的多種推理方式,對於邏輯推理機制的深入研究和人工智能的開發具有重要的理論意義和實際價值。本書研究命題邏輯的結構推理,涉及多種結構推理繫統的建構。結構推理繫統與相應公理繫統的等價性,在語義理論的基礎上.證明了各個結構推理繫統的可靠性與接近性,並考察了正結合演算結構推理繫統BL-D的可判定性,是探究這一邏輯前沿領域的力作。
馮棉 著
馮棉,華東師範大學終身教授,博士生導師,中國邏輯學會副會長,上海市邏輯學會會長,《邏輯學研究》雜志編委,撰有專著《經典邏輯與直覺主義邏輯》《廣義模態邏輯》《哲學邏輯與邏輯哲學》《相干與衍推邏輯》《可能世界與邏輯研究》《相干邏輯研究》《結構推理》《相干與衍推謂詞邏輯》等多部。參與編寫《哲學大辭典》《計算機科學技術百科全書》《辭海》《外國哲學大辭典》《大辭海》《邏輯學大辭典》(副主編)等辭書和《邏輯學導論》等多部教材。主要研究領域為“現代邏輯”和“邏輯哲學”。