您的位置： 专家智库 > >

姚楠

作品数：1 被引量：0H指数：0
供职机构：中国人民解放军军事经济学院更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇中介逻辑
  • 1篇数理逻辑
  • 1篇逻辑
  • 1篇命题演算
  • 1篇范式
  • 1篇MP

机构

  • 1篇空军气象学院
  • 1篇北京航空航天...
  • 1篇中国人民解放...

作者

  • 1篇顾红芳
  • 1篇朱梧槚
  • 1篇肖奚安
  • 1篇姚楠

传媒

  • 1篇南京航空航天...

年份

  • 1篇1998
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
MP＊中的等值完全析取范式
1998年
讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值（｜＝｜）意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。该范式分为三个部分，即真值项、清晰项和矛盾项，它能够反映合式公式的本质特征及取值分布情况，为规范化研究该系统中的合式公式提供了一种工具，较理想地解决了ＭＰ＊中的析取范式问题。另外，本文还证明了一个等值公式，把真值程度词在等值的意义下用含清晰化算符的公式表示，扩充了ＭＰ＊的形式推理规则。
姚楠顾红芳肖奚安朱梧槚
关键词：数理逻辑命题演算中介逻辑范式
全选 清除 导出
共1页<1>
聚类工具0