掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
買過本商品的人還買了
結構推理 版權信息
- ISBN：9787549561971
- 條形碼：9787549561971 ; 978-7-5495-6197-1
- 裝幀：一般輕型紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
結構推理 本書特色
“智慧的探索叢書”收入了華東師范大學哲學學科幾代學人的哲學論著，展示了幾代學人的智慧之思。 《結構推理》系統地考察了命題邏輯的結構推理，是國內第1次系統關注并深入推進這一邏輯前沿的力作，填補了國內邏輯學在這一重要領域內的空白。全書內容豐富，信息量大；結構合理，層次感強；文字簡潔，符號精確；行之明快，條理清晰，充分體現了現代邏輯研究的“數理性”和“嚴格性”特點。
結構推理 內容簡介
《結構推理》研究命題邏輯的結構推理，分為四章：一、經典命題邏輯的結構推理；二、直覺主義命題邏輯的結構推理；三、相干命題邏輯及其線性片段的結構推理；四、和正結合演算的結構推理。內容涉及多種結構推理系統的建構，結構推理系統與相應公理系統的等價性，在語義理論的基礎上，證明了各個結構推理系統的可靠性與完全性，并考察了正結合演算結構推理系統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的可判定性
參考文獻
符號表
索引
后記
§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的可判定性
參考文獻
符號表
索引
后記
展開全部
結構推理 作者簡介
馮棉，華東師范大學終身教授，博士生導師，哲學系邏輯室主任，邏輯學博士點負責人，國務院特殊津貼獲得者，中國邏輯學會副會長，上海市邏輯學會會長。撰有專著《經典邏輯與直覺主義邏輯》、《廣義模態邏輯》、《哲學邏輯與邏輯哲學》、《相干與衍推邏輯》、《可能世界與邏輯研究》、《相干邏輯研究》等多部。參與編寫《哲學大辭典》、《計算機科學技術百科全書》、《辭海》、《外國哲學大辭典》、《邏輯學大辭典》（副主編）、《大辭海》等辭書和《邏輯學導論》等多部教材。主要研究領域為“現代邏輯”和“邏輯哲學”。
書友推薦
- >
李白與唐代文化
- >
姑媽的寶刀
- >
上帝之肋:男人的真實旅程
- >
巴金－再思錄
- >
自卑與超越
- >
伯納黛特,你要去哪(2021新版)
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
名家帶你讀魯迅:朝花夕拾
本類暢銷
