| 摘要: |
| 给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的(解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性. |
| 关键词: 中介逻辑谓词演算系统 语义解释 无穷值语义解释 λ-可满足性 λ-归结 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the Basic Research Foundation of Southern Yangtze University of China under Grant No.JYJ01-01-08 (江南大学基础研究基金) |
|
| λ-Resolution of the Medium Predicate Logic System |
|
PAN Zheng-Hua
|
| Abstract: |
| For medium predicate logic system MF, a new infinite value semantic interpretation that is λ-interpretation is introduced, the λ-resolution method is led into the MF. The λ-resolution principle of MF is discussed and its completeness is proved. |
| Key words: medium predicate logic system semantic interpretation semantic interpretation of infinitely value λ-satisfiability λ-resolution |
