未找到相关数据
中介谓词逻辑MF完备性的一些结果
被引：3
作者：
潘正华
机构：
[1] 贵州兴义师专
来源：
关键词：
中介谓词逻辑系统 MF;
完备性;
协调性;
极大协调集;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
本文讨论了中介谓词逻辑系统 MF 的完备性。为了证明 MF 的完备性定理,在文中引入了协调性与极大协调集等概念,获得了中介谓词逻辑系统 MF 完备性的几个基本结果。
引用
收藏
页码：47 / 49
页数：3
相关论文