| 中介谓词逻辑MF完备性的一些结果 |
| |
| 引用本文： | 潘正华.中介谓词逻辑MF完备性的一些结果[J].曲阜师范大学学报,1988(4). |
| |
| 作者姓名： | 潘正华 |
| |
| 作者单位： | 贵州兴义师专 |
| |
| 摘 要： | 本文讨论了中介谓词逻辑系统 MF 的完备性。为了证明 MF 的完备性定理,在文中引入了协调性与极大协调集等概念,获得了中介谓词逻辑系统 MF 完备性的几个基本结果。
|
| 关 键 词： | 中介谓词逻辑系统 MF 完备性 协调性 极大协调集 |
A SERTES OF RESULT FOR THE COMPLETENESS OF MEDIUM PREDICATE LOGIC(MF) |
| |
| Pan Zhenhua.A SERTES OF RESULT FOR THE COMPLETENESS OF MEDIUM PREDICATE LOGIC(MF)[J].Journal of Qufu Normal University(Natural Science),1988(4). |
| |
| Authors: | Pan Zhenhua |
| |
| Institution: | Pan Zhenhua Department of Mathematics Xingyi Teachers' College,Guizhou,China |
| |
| Abstract: | This paper deals with completeness of predicate calculus system of medi- -um logic MF.For the prove completeness theorem of MF,introduced conc- -epts of the CONSISTENCY and MAXIXA CONSISTENT SET in it,obtain a series of result for the completeness of medium predicate logic MF. |
| |
| Keywords: | Predicate calculus system of medium logic MF Completeness Consistency Maxixa consistent set |
| 本文献已被 CNKI 等数据库收录！ |
