您的位置: 专家智库 > >

北京市属高等学校人才强教计划资助项目(PHR201008428)

作品数:1 被引量:2H指数:1
相关作者:陈佳林罗敏霞何华灿刘城霞更多>>
相关机构:中国计量学院北京邮电大学更多>>
发文基金:北京市属高等学校人才强教计划资助项目更多>>
相关领域:理学更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇排中律
  • 1篇健全性

机构

  • 1篇北京邮电大学
  • 1篇中国计量学院

作者

  • 1篇刘城霞
  • 1篇何华灿
  • 1篇罗敏霞
  • 1篇陈佳林

传媒

  • 1篇北京邮电大学...

年份

  • 1篇2011
1 条 记 录,以下是 1-1
排序方式:
柔性逻辑零级运算模型的健全性被引量:2
2011年
当广义相关系数在0~0.5时,证明了基于零级运算模型的逻辑系统PC(T)是健全逻辑系统;当广义相关系数在0.5~0.75时,构建了基于零级运算模型的健全逻辑系统PC(T);当广义相关系数在0.75~1时,进一步证明了基于泛逻辑零级运算模型的逻辑系统PC(T),当命题P等于0和1时是一个健全逻辑系统;当命题P不等于0和1时,构建了基于泛逻辑零级运算模型的健全逻辑系统PC(T).
陈佳林何华灿刘城霞罗敏霞
关键词:排中律
共1页<1>
聚类工具0