相干與衍推謂詞邏輯

　　《相干與衍推謂詞邏輯》研究了相干與衍推謂詞邏輯系統(tǒng)，包括公理系統(tǒng)、自然推理系統(tǒng)和結(jié)構(gòu)推理系統(tǒng)的建構(gòu)，重要內(nèi)定理和導(dǎo)出規(guī)則的證明，并證明了公理系統(tǒng)與對(duì)應(yīng)的自然推理系統(tǒng)、結(jié)構(gòu)推理系統(tǒng)的等價(jià)性；同時(shí)研究相干與衍推謂詞邏輯弱系統(tǒng)的三元關(guān)系變域語(yǔ)義，并在此基礎(chǔ)上證明了各個(gè)系統(tǒng)的可靠性和完全性。研究的知識(shí)體系完整，概念表述明晰，內(nèi)定理和元定理的證明嚴(yán)格而規(guī)范，具有理論的廣度和深度，在一些重要理論問(wèn)題上有突破和創(chuàng)新。

　　馮棉，華東師范大學(xué)終身教授，博士生導(dǎo)師，國(guó)務(wù)院特殊津貼獲得者，中國(guó)邏輯學(xué)會(huì)副會(huì)長(zhǎng)，上海市邏輯學(xué)會(huì)會(huì)長(zhǎng)，《邏輯學(xué)研究》雜志編委，臺(tái)灣大學(xué)客座教授（2013）。主要研究領(lǐng)域?yàn)椤艾F(xiàn)代邏輯”和“邏輯哲學(xué)”。 撰有《經(jīng)典邏輯與直覺(jué)主義邏輯》（上海人民出版社，1989）、《廣義模態(tài)邏輯》（華東師大出版社，1990）、《相干與衍推邏輯》（上海人民出版社，1993）、《可能世界與邏輯研究》（華東師大出版社，1996）、《相干邏輯研究》（華東師大出版社，2010）、《結(jié)構(gòu)推理》（廣西師大出版社，2015）等多部專著。參與編寫《哲學(xué)大辭典》、《辭海》、《外國(guó)哲學(xué)大辭典》、《邏輯學(xué)大辭典》、《大辭海（數(shù)理化力學(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)”。