相干與衍推謂詞邏輯

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

　　馮棉，華東師范大學(xué)終身教授，博士生導(dǎo)師，國務(wù)院特殊津貼獲得者，中國邏輯學(xué)會副會長，上海市邏輯學(xué)會會長，《邏輯學(xué)研究》雜志編委，臺灣大學(xué)客座教授（2013）。主要研究領(lǐng)域為“現(xiàn)代邏輯”和“邏輯哲學(xué)”。 撰有《經(jīng)典邏輯與直覺主義邏輯》（上海人民出版社，1989）、《廣義模態(tài)邏輯》（華東師大出版社，1990）、《相干與衍推邏輯》（上海人民出版社，1993）、《可能世界與邏輯研究》（華東師大出版社，1996）、《相干邏輯研究》（華東師大出版社，2010）、《結(jié)構(gòu)推理》（廣西師大出版社，2015）等多部專著。參與編寫《哲學(xué)大辭典》、《辭海》、《外國哲學(xué)大辭典》、《邏輯學(xué)大辭典》、《大辭海（數(shù)理化力學(xué)卷）》等辭書和《邏輯學(xué)導(dǎo)論》等多部教材。 先后承擔多項國家和教育部基金項目，著作和論文獲教育部“高等學(xué)?？茖W(xué)研究優(yōu)秀成果獎”、上海市哲學(xué)社會科學(xué)優(yōu)秀學(xué)術(shù)成果獎和“金岳霖學(xué)術(shù)獎”。