%0 Journal Article
%T Herbrand基上的语义映射
%A 陆汝钤
%J 科学通报
%D 1982
%I 
%X Emden和Kowalski(以下简称E、K二氏)以horn集为对象,研究了谓词逻辑的操作语义、模型语义和不动点语义及它们之间的等价性.但他们只考虑不包含负子句的horn集,这种子句集是一定可以满足的,因而结论是局限的.他们也没有给出最小不动点的构造方法.本文在定义新的语义映射的基础上,解决了这些问题.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=5EF5D146D7029697B820002E7DA283ED&yid=3F3D540C9B7906DE&vid=DB817633AA4F79B9&iid=0B39A22176CE99FB&sid=5D71B28100102720&eid=5D71B28100102720&journal_id=0023-074X&journal_name=科学通报&referenced_num=1&reference_num=0