%0 Journal Article
%T λ-Resolution of the Medium Predicate Logic System<br>中介谓词逻辑系统的λ-归结
%A PAN Zheng-Hua
%A <br>潘正华
%J 软件学报
%D 2003
%I 
%X 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.
%K medium predicate logic system
%K semantic interpretation
%K semantic interpretation of infinitely value
%K l-satisfiability
%K l-resolution<br>中介逻辑谓词演算系统
%K 语义解释
%K 无穷值语义解释
%K λ-可满足性
%K λ-归结
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=23D73D3D020A285D&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=38B194292C032A66&sid=3622B70F9C54A9CC&eid=31125890FF093250&journal_id=1000-9825&journal_name=软件学报&referenced_num=7&reference_num=14