位置:成果数据库 > 期刊 > 期刊详情页
三值Godel命题逻辑系统的随机化
  • ISSN号:1001-7402
  • 期刊名称:《模糊系统与数学》
  • 时间:0
  • 分类:O153[理学—数学;理学—基础数学]
  • 作者机构:[1]延安大学数学与计算机科学学院,陕西延安716000, [2]陕西师范大学数学研究所,陕西西安710062
  • 相关基金:国家自然科学基金项目(10771129);陕西省教育厅专项基金资助项目(08JK497)
中文摘要:

利用赋值集的随机化方法,在三值Godel命题逻辑系统中提出了公式的随机真度,给出了两公式间的随机相似度,建立了随机逻辑度量空间,因此可以把计量逻辑学中的随机化研究纳入于多值逻辑的研究体系之中。

英文摘要:

By means of randomization, the concept of randomized truth degree in Godel three-valued propositional logic are introduced. The concept of randomized similarity and randomized logic metric space is also introduced and it is proved that the new built randomized concepts are extensions of the corresponding concepts in quantified logic.

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