相干与衍推谓词逻辑/冯棉

附件:

设置2:

设置3:

设置4:本书研究了相干与衍推谓词逻辑系统，包括公理系统、自然推理系统和结构推理系统的建构，重要内定理和导出规则的证明，并证明了公理系统与对应的自然推理系统、结构推理系统的等价性；同时研究相干与衍推谓词逻辑弱系统的三元关系变域语义，并在此基础上证明了各个系统的可靠性和完全性。

附注提要

本书研究了相干与衍推谓词逻辑系统，包括公理系统、自然推理系统和结构推理系统的建构，重要内定理和导出规则的证明，并证明了公理系统与对应的自然推理系统、结构推理系统的等价性；同时研究相干与衍推谓词逻辑弱系统的三元关系变域语义，并在此基础上证明了各个系统的可靠性和完全性。

暂无目录

(0)|| (0)

手机二维条形码

馆藏信息

序号	索书号	码号定位	订户	馆藏地点	馆藏状态	借出日期	还回日期	流通类型	卷册说明	登录号
1	B815.7	CX0008954	KT	电子图书	入藏			保存		0