結(jié)構(gòu)推理（第二版）

　　結(jié)構(gòu)推理是現(xiàn)代邏輯的重要推理方式之一，它通過(guò)對(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ī)制的深入研究和人工智能的開(kāi)發(fā)具有重要的理論意義和實(shí)際價(jià)值?！督Y(jié)構(gòu)推理（第二版）》研究命題邏輯的結(jié)構(gòu)推理，涉及多種結(jié)構(gòu)推理系統(tǒng)的建構(gòu)，結(jié)構(gòu)推理系統(tǒng)與相應(yīng)公理系統(tǒng)的等價(jià)性，在語(yǔ)義理論的基礎(chǔ)上，證明了各個(gè)結(jié)構(gòu)推理系統(tǒng)的可靠性與完全性，并考察了正結(jié)合演算結(jié)構(gòu)推理系統(tǒng)BL-D的可判定性，是探究這一邏輯前沿領(lǐng)域的力作。

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