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