位置:成果数据库 > 期刊 > 期刊详情页
Godel n值命题逻辑系统中的Δ真度
  • ISSN号:1001-7402
  • 期刊名称:《模糊系统与数学》
  • 时间:0
  • 分类:O142[理学—数学;理学—基础数学]
  • 作者机构:延安大学数学与计算机科学学院,陕西延安716000
  • 相关基金:国家自然科学基金资助项目(11471007);陕西省自然科学基金资助项目(2014JM1020);延安大学研究生创新基金资助项目(YCX201612);陕西省大学生创新训练计划项目(1064)
中文摘要:

在Godel n值命题逻辑系统中添加了Δ算子,给出了Godel n值命题逻辑系统的Δ真度的定义及等价形式,讨论了在该系统下Δ真度的一些基本性质,论证了Δ真度的推理规则。

英文摘要:

△ operator is presented in Godel n-valued propositional logic system, the definition of △ truth degree and it's equivalent form are given, some basic properties of △ truth degree are discussed, and the inference rules of △ truth degree are proved.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《模糊系统与数学》
  • 中国科技核心期刊
  • 主管单位:国防科技大学
  • 主办单位:国防科技大学理学院 国防科技大学理学院
  • 主编:刘应明
  • 地址:湖南长沙国防科技大学理学院
  • 邮编:410073
  • 邮箱:fuzzysys@cfsm.cn
  • 电话:0731-84576220
  • 国际标准刊号:ISSN:1001-7402
  • 国内统一刊号:ISSN:43-1179/O1
  • 邮发代号:42-180
  • 获奖情况:
  • 美国《数学评论》(Mathematical Reviews)核心引...,中国科技论文统计源期刊,《中国科学引文数据库》来源期刊
  • 国内外数据库收录:
  • 美国数学评论(网络版),德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版)
  • 被引量:8133