相干與衍推謂詞邏輯

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

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