相干与衍推谓词逻辑
作者: 冯棉
出版社: 华东师范大学出版社
出版日期: 2018.07
ISBN-13: 9787567577763
ISBN-10: 7567577763
页数: 216
原书定价: 无
开本: 无
丛书名: 无
主题词: 衍推·谓词逻辑·相干逻辑
中图分类号: B815.7
中图分类名: 哲学、宗教›逻辑学（论理学）›哲理逻辑（非经典逻辑）›相干与衍推逻辑
《相干与衍推谓词逻辑》研究了相干与衍推谓词逻辑系统，包括公理系统、自然推理系统和结构推理系统的建构，重要内定理和导出规则的证明，并证明了公理系统与对应的自然推理系统、结构推理系统的等价性；同时研究相干与衍推谓词逻辑弱系统的三元关系变域语义，…目录仅对会员开放。