国产女人爽到高潮精品久久,国内精品自在自线视频,亚洲精品黄片久久

內(nèi)容簡介

　　結(jié)構(gòu)推理是現(xiàn)代邏輯的重要推理方式之一，它通過對(duì)各種結(jié)構(gòu)規(guī)則的研究，從整體上處理一大類邏輯，具有良好的表現(xiàn)力。與此同時(shí)，借助于結(jié)構(gòu)規(guī)則和聯(lián)結(jié)詞規(guī)則，也揭示出各個(gè)現(xiàn)代邏輯分支的差異，成為諸分支比較研究的有力工具。結(jié)構(gòu)推理展現(xiàn)了日常推理中的多種推理方式，對(duì)于邏輯推理機(jī)制的深入研究和人工智能的開發(fā)具有重要的理論意義和實(shí)際價(jià)值。《結(jié)構(gòu)推理（第二版）》研究命題邏輯的結(jié)構(gòu)推理，涉及多種結(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的可判定性，是探究這一邏輯前沿領(lǐng)域的力作。

作者簡介

　　馮棉，華東師范大學(xué)終身教授，博士生導(dǎo)師，國務(wù)院特殊津貼獲得者，中國邏輯學(xué)會(huì)副會(huì)長，上海市邏輯學(xué)會(huì)會(huì)長，《邏輯學(xué)研究》雜志編委，臺(tái)灣大學(xué)客座教授（2013年）。撰有專著《經(jīng)典邏輯與直覺主義邏輯》《廣義模態(tài)邏輯》《哲學(xué)邏輯與邏輯哲學(xué)》《相干與衍推邏輯》《可能世界與邏輯研究》《相干邏輯研究》《結(jié)構(gòu)推理》《相干與衍推謂詞邏輯》等多部。參與編寫《哲學(xué)大辭典》《計(jì)算機(jī)科學(xué)技術(shù)百科全書》《辭?！贰锻鈬軐W(xué)大辭典》《大辭?！贰哆壿媽W(xué)大辭典》（副主編）等辭書和《邏輯學(xué)導(dǎo)論》等多部教材。先后承擔(dān)多項(xiàng)國家和教育部基金項(xiàng)目，著作和論文獲教育部“高等學(xué)?？茖W(xué)研究優(yōu)秀成果獎(jiǎng)”、上海市哲學(xué)社會(huì)科學(xué)優(yōu)秀學(xué)術(shù)成果獎(jiǎng)和“金岳霖學(xué)術(shù)獎(jiǎng)”。主要研究領(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)PL
§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)
符號(hào)表
索引
初版后記