您的位置： 专家智库 > >

国家自然科学基金(60703095)

作品数：1 被引量：1H指数：1
相关作者：章衡杨本娟张明义更多>>
相关机构：清华大学贵州师范大学更多>>
发文基金：贵州省省长基金国家自然科学基金更多>>
相关领域：理学更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

机构

  • 1篇贵州师范大学
  • 1篇清华大学

作者

  • 1篇张明义
  • 1篇杨本娟
  • 1篇章衡

传媒

  • 1篇数学学报（中...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
中间逻辑中的良构范式被引量：1
2008年
本文在中间逻辑中引入了良构范式的概念,为该类范式的研究提出了一个通用方法,并应用该方法证明了HT逻辑是存在一般蕴含范式的最弱中间逻辑,经典命题逻辑CPL是存在限制蕴含范式的仅有中间逻辑.
章衡张明义杨本娟
全选 清除 导出
共1页<1>
聚类工具0