冯棉著的《相干与衍推谓词逻辑》内容是研究相干与衍推谓词逻辑，涉及多种相干与衍推谓词逻辑弱系统和强系统的建构，包括公理系统、自然推理系统和结构推理系统，在此基础上，建构了相干与衍推谓词逻辑弱系统的三元关系变域语义，并证明了各种相干与衍推谓词逻辑弱系统的可靠性与完全性。全书共分三章十节，书后列出了参考文献。
冯棉，华东师范大学终身教授，博士生导师，哲学系逻辑室主任，逻辑学博士点负责人，国务院特殊津贴获得者，中国逻辑学会副会长，上海市逻辑学会会长，《逻辑学研究》杂志编委，台湾大学客座教授(2013)。
撰有专著《经典逻辑与直觉主义逻辑》、《广义模态逻辑》、《哲学逻辑与逻辑哲学》、《相干与衍推逻辑》、《可能世界与逻辑研究》、《相干逻辑研究》等多部。参与编写《哲学大辞典》、《计算机科学技术百科全书》、《辞海》、《外国哲学大辞典》、《逻辑学大辞典》(副主编)、《大辞海》等辞书和《逻辑学导论》等多部教材。
先后承担多项国家和教育部基金项目，著作和论文获教育部“高等学校科学研究优秀成果奖”、上海市哲学社会科学优秀学术成果奖和“金岳霖学术奖”。主要研究领域为“现代逻辑”和“逻辑哲学”。
|
