您的位置： 专家智库 > >

钱磊

作品数：2 被引量：4H指数：1
供职机构：南京大学数学系更多>>
发文基金：江苏省自然科学基金国家高技术研究发展计划更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇理学

主题

  • 2篇开放逻辑
  • 1篇动点
  • 1篇算子
  • 1篇类算子
  • 1篇不动点

机构

  • 2篇南京大学

作者

  • 2篇孙智伟
  • 2篇丁德成
  • 2篇苏开乐
  • 2篇钱磊

传媒

  • 1篇计算机学报
  • 1篇湖南师范大学...

年份

  • 2篇1994
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
开放逻辑中的合理事实反驳模型类被引量：4
1994年
本文给出了开放逻辑中合理事实反驳模型类的概念，讨论了它们的重要性质．通过给定一假说中句子的线性序关系，得到了假说的最大前节重构的概念，并由此给出了合理事实反驳模型类的一个具体例子．
苏开乐丁德成孙智伟钱磊
关键词：开放逻辑
开放逻辑中一类算子的不动点
1994年
在开放逻辑中，令Γ为一假说，Ａ为一句子，对任何Γ到Γ的幂集合的一个映射ｆ本文定义了如下算子△ｆ，对任何，且．我们讨论了算子△ｆ的不动点的一些性质及其与Ｒ－重构的关系。
苏开乐丁德成钱磊孙智伟
关键词：不动点开放逻辑
全选 清除 导出
共1页<1>
聚类工具0