您的位置： 专家智库 > >

浙江理工大学科研项目(YJG-Z07001)

作品数：2 被引量：0H指数：0
相关作者：张乐裴道武王三民更多>>
相关机构：浙江理工大学更多>>
发文基金：国家自然科学基金浙江理工大学科研项目更多>>
相关领域：理学更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇理学

主题

  • 2篇模糊逻辑
  • 2篇紧致
  • 2篇紧致性
  • 1篇左连续
  • 1篇滤子
  • 1篇逻辑性质
  • 1篇可满足性
  • 1篇可判定性
  • 1篇T-模
  • 1篇N

机构

  • 2篇浙江理工大学

作者

  • 2篇裴道武
  • 2篇张乐
  • 1篇王三民

传媒

  • 1篇高校应用数学...
  • 1篇浙江理工大学...

年份

  • 1篇2012
  • 1篇2011
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
系统_n~*的逻辑性质及其应用
2011年
证明了系统Ln^＊中的可满足性定理,紧致性定理和可判定性定理,完善了系统Ln^＊的理论体系,并将这些性质应用到计量逻辑学中,给出了∑г-真度和条件真度存在的充要条件.
张乐裴道武王三民
关键词：模糊逻辑可满足性紧致性可判定性
几个模糊命题逻辑紧致性的新证明
2012年
紧致性是模糊逻辑的一个重要性质,Gdel命题逻辑、NMG命题逻辑和L*命题逻辑都是紧致的。利用滤子理论证明了一类基于左连续t-模的命题逻辑Hα的紧致性,为模糊逻辑紧致性的证明提供了新方法,同时给出了Gdel命题逻辑、NMG命题逻辑和L*命题逻辑紧致性定理的新的统一证明。
张乐裴道武
关键词：模糊逻辑左连续T-模滤子紧致性
全选 清除 导出
共1页<1>
聚类工具0