您的位置: 专家智库 > 作者详情>段巧林

段巧林

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

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 2篇理学

主题

  • 1篇度量空间
  • 1篇真度
  • 1篇真度理论
  • 1篇时态逻辑
  • 1篇逻辑系统
  • 1篇命题逻辑
  • 1篇命题逻辑系统
  • 1篇模糊逻辑
  • 1篇模糊逻辑系统
  • 1篇模态逻辑
  • 1篇C2
  • 1篇LN
  • 1篇LUKASI...
  • 1篇N

机构

  • 2篇陕西师范大学

作者

  • 2篇段巧林
  • 2篇王国俊

传媒

  • 1篇中国科学:信...

年份

  • 1篇2009
  • 1篇2008
2 条 记 录,以下是 1-2
排序方式:
根与几种命题逻辑系统中的近似推理
基于演绎定理,公式的真度理论和公式集的根的理论,在经典(二值)逻辑系统 C,n 值 Lukasiewica 逻辑系统 L,R-模糊逻辑系统 L中讨论了根在 F(S)的近似推理误差分析中的作用.同时,讨论了三种近似推理的内...
段巧林王国俊
文献传递
模态逻辑中的(n)真度理论与和谐定理被引量:11
2009年
首次在模态逻辑中通过有限模型建立了模态公式的(n)真度理论,得到了当模态词不出现时(n)真度与经典二值命题逻辑中的真度保持一致的和谐定理.研究了时态逻辑中命题的(n)真度随n变化的性态.提出了模态公式间的(n)相似度理论,并由此在全体公式之集中建立了(n)伪距离.得出了(n)模态逻辑度量空间,该空间以经典逻辑度量空间为子空间,从而可将经典命题逻辑中的近似推理理论推广到模态逻辑之中.
王国俊王国俊
关键词:模态逻辑时态逻辑
共1页<1>
聚类工具0