您的位置： 专家智库 > >

曾旭

作品数：2 被引量：0H指数：0
供职机构：宁波大学理学院数学系更多>>
发文基金：国家自然科学基金更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇国内会议论文

领域

  • 1篇自动化与计算...
  • 1篇理学

主题

  • 2篇一阶逻辑
  • 2篇逻辑系统
  • 2篇模糊逻辑
  • 2篇T-模

机构

  • 2篇宁波大学
  • 2篇上海海事大学

作者

  • 2篇张小红
  • 2篇曾旭

年份

  • 1篇2011
  • 1篇2010
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
带有语言量词的逻辑系统MTLQ的弱完备性定理
基于左连续t-模,Esteva与Godo建立了模糊命题逻辑系统MTL。作为MTL系统的扩展,并以应明生教授创建的语言量词积分模型为基本语义,一个带有语言量词的一阶逻辑系统MTLQ被建立。本文进一步修正了逻辑系统MTLQ的...
张小红曾旭
关键词：模糊逻辑一阶逻辑T-模
文献传递
带有语言量词的逻辑系统MTLQ的弱完备性定理
基于左连续t-模,Esteva与Godo建立了模糊命题逻辑系统MTL。作为MTL系统的扩展,并以应明生教授创建的语言量词积分模型为基本语义,一个带有语言量词的一阶逻辑系统MTLQ被建立。本文进一步修正了逻辑系统MTLQ的...
张小红曾旭
关键词：模糊逻辑一阶逻辑T-模
文献传递
全选 清除 导出
共1页<1>
聚类工具0