%0 Journal Article
%T 开放逻辑中的R-重构
%A 苏开乐
%J 科学通报
%D 1994
%I 
%X 为了刻画知识的增长,更新以及假说的进化,Li最近建立了一个开放的逻辑理论.开放逻辑的一个基本概念就是R-重构,R-重构不具有唯一性,文献中指出了这一点.对任意给定的假说Γ和语句A使得Γ=A且.A有事实反驳,我们给出了Γ关于A的事实反驳的R-重构唯一的充要条件.令R-recons(Γ,A)为所有Γ关于A的事实反驳的R-重构的集合,我们讨论了当Γ,A变化时,R-recons(Γ,A)的基数的可能变化范围.
%K 事实反驳
%K 开放逻辑
%K R重构
%K 一阶逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=7A341D8B475DB8AEFA165BC1FFFB8A66&yid=3EBE383EEA0A6494&vid=7C3A4C1EE6A45749&iid=94C357A881DFC066&sid=44FDB9366EDDFA2B&eid=44FDB9366EDDFA2B&journal_id=0023-074X&journal_name=科学通报&referenced_num=1&reference_num=1