注冊 | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當(dāng)前位置: 首頁出版圖書人文社科社會(huì)科學(xué)社會(huì)科學(xué)總論結(jié)構(gòu)推理

結(jié)構(gòu)推理

結(jié)構(gòu)推理

定 價(jià):¥68.00

作 者: 馮棉 著
出版社: 廣西師范大學(xué)出版社
叢編項(xiàng): 智慧的探索叢書
標(biāo) 簽: 暫缺

ISBN: 9787549561971 出版時(shí)間: 2015-03-01 包裝: 精裝
開本: 16開 頁數(shù): 260 字?jǐn)?shù):  

內(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)與相應(yīng)公理系統(tǒng)的等價(jià)性,在語義理論的基礎(chǔ)上,證明了各個(gè)結(jié)構(gòu)推理系統(tǒng)的可靠性與完全性,并考察了正結(jié)合演算結(jié)構(gòu)推理系統(tǒng)BL-D的可判定性。
  《結(jié)構(gòu)推理》是教育部人文社會(huì)科學(xué)重點(diǎn)研究基地重大項(xiàng)目“結(jié)構(gòu)推理及其應(yīng)用研究”的最終成果。

作者簡介

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

圖書目錄

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

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) m.ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號