|
题名:
|
相干与衍推谓词逻辑 / 冯棉著 , |
|
ISBN:
|
978-7-5675-7776-3 价格： 59.00 |
|
语种:
|
chi |
|
载体形态:
|
216页 24cm |
|
出版发行:
|
出版地： 上海 出版社： 华东师范大学出版社 出版日期： 2018.07 |
|
内容提要:
|
本书研究了相干与衍推谓词逻辑系统，包括公理系统、自然推理系统和结构推理系统的建构，重要内定理和导出规则的证明，并证明了公理系统与对应的自然推理系统、结构推理系统的等价性；同时研究相干与衍推谓词逻辑弱系统的三元关系变域语义，并在此基础上证明了各个系统的可靠性和完全性。 |
|
主题词:
|
相干逻辑 |
|
主题词:
|
衍推 谓词逻辑 |
|
中图分类法:
|
B815.7 版次： 5 |
|
主要责任者:
|
冯棉 著 |
|
附注:
|
国家社会科学基金项目：11BZX063 |