您的位置： 专家智库 > >

国家杰出青年科学基金(61100046)

作品数：1 被引量：0H指数：0
相关作者：秦应兵徐扬夏世芬更多>>
相关机构：西南交通大学更多>>
发文基金：国家自然科学基金国家杰出青年科学基金更多>>
相关领域：理学更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇命题逻辑
  • 1篇格值
  • 1篇格值命题逻辑
  • 1篇LP
  • 1篇MP
  • 1篇X

机构

  • 1篇西南交通大学

作者

  • 1篇夏世芬
  • 1篇徐扬
  • 1篇秦应兵

传媒

  • 1篇模糊系统与数...

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
LP(X)中MP归结推理
2013年
首先讨论格值命题逻辑系统LP(X)中子句的规则型范式以及极简规则型子句集的形式,然后定义MP归结式以及(A,α)-归结演绎、α-逻辑推理以及α-不可满足,讨论了它们的一系列逻辑性质,最后证明了MP归结推理的可靠性以及弱完备性。
夏世芬秦应兵徐扬
全选 清除 导出
共1页<1>
聚类工具0