摘要
给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的λ解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.
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.
出处
《软件学报》
EI
CSCD
北大核心
2003年第3期345-349,共5页
Journal of Software
基金
Supported by the Basic Research Foundation of Southern Yangtze University of China under Grant No.JYJ01-01-08 (江南大学基础研究基金)
