您的位置： 专家智库 > >

张懿

作品数：2 被引量：1H指数：1
供职机构：陕西师范大学数学与信息科学学院更多>>
发文基金：陕西省自然科学基金国家自然科学基金更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇理学

主题

  • 1篇导算子
  • 1篇远域
  • 1篇算子

机构

  • 2篇陕西师范大学

作者

  • 2篇张懿
  • 1篇李生刚
  • 1篇尉文静

传媒

  • 1篇西安工程大学...

年份

  • 2篇2011
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
推理闭包系统的确定
本文通过利用拓扑工具结合命题演算系统进行再研究,目的是从更加抽象化的层面来理解,并推广了抽象推理系统,产生了一系列基于模糊命题逻辑的算子,丰富了格上逻辑学,也为在范畴层面研究逻辑学、模糊推理推理系统及应用提供了参考. ...
张懿
文献传递
推理闭包系统的一些性质被引量：1
2011年
证明了对于一个给定的非空集合X,可以在RCL(X)(X上的推理闭包算子的全体)、R IN(X)(X上的推理内部算子的全体)、ROU(X)(X上的推理外部算子的全体)、RB(X)(X上的推理边界算子的全体)上定义适当的序关系,使它们与(RCS(X),)序同构,其中RCS(X)是给定集合X上的推理闭包系统的全体.
张懿尉文静李生刚
全选 清除 导出
共1页<1>
聚类工具0