%0 Journal Article
%T 中介谓词逻辑系统的λ-归结
%A 潘正华？
%J 软件学报
%P 345-349
%D 2003
%X 给出中介逻辑谓词演算系统mf的一种无穷值语义解释,即无穷值的(解释,将λ-归结方法引入到mf中,讨论了mf的λ-归结原理,并证明了它的完备性.
%K 中介逻辑谓词演算系统
%K 语义解释
%K 无穷值语义解释
%K λ-可满足性
%K λ-归结
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20030304&flag=1