位置:成果数据库 > 期刊 > 期刊详情页
逻辑系统RDP中广义重言式的语义MP、HS规则
  • ISSN号:1001-7402
  • 期刊名称:《模糊系统与数学》
  • 时间:0
  • 分类:O141[理学—数学;理学—基础数学]
  • 作者机构:[1]延安大学数学与计算机科学学院,陕西延安716000
  • 相关基金:国家自然科学基金资助项目(11471007);陕西省自然科学基金资助项目(2014JM1020);陕西省高水平大学建设专项资金资助项目(2012SXTS07);延安大学博士基金资助项目(YDBK2013-12);延安市专项基金资助项目(2013-KG16)
中文摘要:

将修正的Kleene逻辑系统中的语义MP规则和语义HS规则推广后应用于RDP逻辑系统,讨论了RDP逻辑系统中广义重言式的广义语义MP规则和广义语义HS规则,得出在逻辑系统D1/2中,广义语义(1/2)+-MP,(1/2)+-HS,1-MP,1-HS规则成立,而广义语义1/2-MP,1/2-HS规则不成立。

英文摘要:

The generalized semantic MP rule and generalized semantic HS rule in the revised Kleene logic system have been applied to RDP logic system. The properties of generalized semantic MP rule and generalized semantic HS rule of generalized tautologies in RDP logic system have been discussed. It is obtained that in logic system D1/2, generalized semantic rule(1/2)+-MP, (1/2)+-HS, 1-MP and 1-HS is true, but generalized semantic rule 1/2-MP,1/2-HS is not.

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