位置:成果数据库 > 期刊 > 期刊详情页
关于三值R0命题逻辑系统的若干注记
  • ISSN号:1001-7402
  • 期刊名称:《模糊系统与数学》
  • 时间:0
  • 分类:O159[理学—数学;理学—基础数学]
  • 作者机构:[1]延安大学数学与计算机科学学院,陕西延安716000
  • 相关基金:国家自然科学基金资助项目(10771129);陕西省自然科学青年基金资助项目(2010JQ1005)
作者: 惠小静[1]
中文摘要:

在三值R0命题逻辑系统中证明了随机真度的MP、HS和交推理规则;提出了随机开放度,指出随机开放度与随机发散度是从两个不同的角度刻画了理论的相客程度,并得出对同一个理论而言,二者取值相等的结论。

英文摘要:

The inference rules of MP, HS and intersection of randomized truth degree are proved in threevalued R0 propositional logic. Then the randomized opening degree is introduced in randomized logic metric space. It is obtained that the randomized opening degree and the randomized divergence degree characterize the consistency degree of theory from two different sides and the value of the randomized opening degree is equal to the value of the randomized divergence degree for a same theory.

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