%0 Journal Article
%T CIRCUMSCRIPTION IN A PARACONSISTENT LOGIC<br>一个在弗协调逻辑中的限制
%A Lin Zuoquan
%A <br>林作铨
%J 软件学报
%D 1995
%I 
%X 本文通过应用限制到一个弗协调逻辑给出一种弗协调限制，弗协调限制是一种弗协调非单调逻辑，它能被极小化语义所刻划，并具有两方面优点：非单调逻辑在包含矛盾时是不平凡的；弗协调逻辑在矛盾没有影响时等价于经典逻辑．
%K 弗协调逻辑，非单调逻辑，限制，极小模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=918AA4900862C2E4FAF35CF0E09D35C6&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=94C357A881DFC066&sid=211C7E02AC474301&eid=AF507FDD66D991DA&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=14