• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Chinese science bulletin >R-reconstruction in open logic
【24h】

R-reconstruction in open logic

机译：开放逻辑中的R重构

获取原文
获取原文并翻译 | 示例
       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In order to describe the growth and modification of knowledge and to express the evolution of a hypothesis, Li Wei recently built up a theory of open logic system, R-reconstruction is an elementary definition of open logic, and has not uniqueness, aspointed out in ref. [1]. In this note, we give a necessary and sufficient condition of the uniqueness of the R-reconstruction of F for the rejection of A by facts, where F is an arbitrarily given hypothesis, A is a sentence such that F=A and A has rejection by facts. Let R-iecons(F, A) be the set of all R-reconstructions of F for the rejection of A. We discuss the cardinal of R-recons (T, A).
机译：为了描述知识的增长和修改并表达假设的演变，李伟最近建立了开放逻辑系统的理论，R重构是开放逻辑的基本定义，并且没有唯一性。参考[1]。在本说明中，我们给出了事实拒绝A的F的R重建的唯一性的充要条件，其中F是任意给定的假设，A是使得F = A并且A拒绝的句子根据事实。令R-iecons（F，A）为F的所有R-重构的集合，以拒绝A。我们讨论R-recons（T，A）的基数。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号