|
| 編輯推薦： |
|
《相干与衍推谓词逻辑》由华东师范大学出版社出版。
|
| 內容簡介： |
|
《相干与衍推谓词逻辑》研究了相干与衍推谓词逻辑系统，包括公理系统、自然推理系统和结构推理系统的建构，重要内定理和导出规则的证明，并证明了公理系统与对应的自然推理系统、结构推理系统的等价性；同时研究相干与衍推谓词逻辑弱系统的三元关系变域语义，并在此基础上证明了各个系统的可靠性和完全性。研究的知识体系完整，概念表述明晰，内定理和元定理的证明严格而规范，具有理论的广度和深度，在一些重要理论问题上有突破和创新。
|
| 關於作者： |
|
冯棉，华东师范大学终身教授，博士生导师，国务院特殊津贴获得者，中国逻辑学会副会长，上海市逻辑学会会长，《逻辑学研究》杂志编委，台湾大学客座教授（2013）。主要研究领域为现代逻辑和逻辑哲学。撰有《经典逻辑与直觉主义逻辑》上海人民出版社,1989、《广义模态逻辑》华东师大出版社,1990、《相干与衍推逻辑》上海人民出版社,1993、《可能世界与逻辑研究》华东师大出版社,1996、《相干逻辑研究》华东师大出版社,2010、《结构推理》广西师大出版社,2015等多部专著。参与编写《哲学大辞典》、《辞海》、《外国哲学大辞典》、《逻辑学大辞典》、《大辞海（数理化力学卷）》等辞书和《逻辑学导论》等多部教材。先后承担多项国家和教育部基金项目，著作和论文获教育部高等学校科学研究优秀成果奖、上海市哲学社会科学优秀学术成果奖和金岳霖学术奖。
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽
HOME
新書上架
