书籍简介:

本书研究了相干与衍推谓词逻辑系统，包括公理系统、自然推理系统和结构推理系统的建构，重要内定理和导出规则的证明，并证明了公理系统与对应的自然推理系统、结构推理系统的等价性；同时研究相干与衍推谓词逻辑弱系统的三元关系变域语义，并在此基础上证明了各个系统的可靠性和完全性。研究的知识体系完整，概念表述明晰，内定理和元定理的证明严格而规范，具有理论的广度和深度，在一些重要理论问题上有突破和创新。

书籍规格:

书籍详细信息
书名	相干与衍推谓词逻辑站内查询相似图书
丛书名	华东师大新世纪学术基金
	9787567577763 如需购买下载《相干与衍推谓词逻辑》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	上海	出版单位	华东师范大学出版社
版次	1版	印次	1
定价(元)	25.0	语种	简体中文
尺寸	24 × 17	装帧	平装
页数		印数

全网搜索试读资源

书籍信息归属:

相干与衍推谓词逻辑是华东师范大学出版社于2018.出版的中图分类号为 B815.7 的主题关于相干逻辑 ,衍推－谓词逻辑的书籍。