| 中介谓词逻辑系统的λ-归结 |
| |
| 引用本文： | 潘正华.中介谓词逻辑系统的λ-归结[J].软件学报,2003,14(3):345-349. |
| |
| 作者姓名： | 潘正华 |
| |
| 作者单位： | 江南大学理学院,江苏无锡,214063 |
| |
| 基金项目： | Supported by the Basic Research Foundation of Southern Yangtze University of China under Grant No.JYJ01-01-08 (江南大学基础研究基金) |
| |
| 摘 要： | 给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的(解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.
|
| 关 键 词： | 中介逻辑谓词演算系统 语义解释 无穷值语义解释 λ-可满足性 λ-归结 |
| 文章编号： | 1000-9825/2003/14(03)0345 |
| 收稿时间： | 4/4/2002 12:00:00 AM |
| 修稿时间： | 2002年4月4日 |
λ-Resolution of the Medium Predicate Logic System |
| |
| PAN Zheng-Hua.λ-Resolution of the Medium Predicate Logic System[J].Journal of Software,2003,14(3):345-349. |
| |
| Authors: | PAN Zheng-Hua |
| |
| Abstract: | For medium predicate logic system MF, a new infinite value semantic interpretation that is l-interpretation is introduced, the l-resolution method is led into the MF. The l-resolution principle of MF is discussed and its completeness is proved. |
| |
| Keywords: | medium predicate logic system semantic interpretation semantic interpretation of infinitely value l-satisfiability l-resolution |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
