节点文献
开放逻辑中的R-重构
【摘要】 <正>为了刻画知识的增长,更新以及假说的进化,Li最近建立了一个开放的逻辑理论.开放逻辑的一个基本概念就是R-重构,R-重构不具有唯一性,文献中指出了这一点.对任意给定的假说Γ和语句A使得Γ=A且.A有事实反驳,我们给出了Γ关于A的事实反驳的R-重构唯一的充要条件.令R-recons(Γ,A)为所有Γ关于A的事实反驳的R-重构的集合,我们讨论了当Γ,A变化时,R-recons(Γ,A)的基数的可能变化范围.
- 【文献出处】 科学通报 ,Chinese Science Bulletin , 编辑部邮箱 ,1994年05期
- 【分类号】O142
- 【被引频次】3
- 【下载频次】35