位置:成果数据库 > 期刊 > 期刊详情页
中介命题逻辑一种新的无穷值语义模型及意义
  • ISSN号:1002-8331
  • 期刊名称:计算机工程与应用
  • 时间:0
  • 页码:45-49
  • 分类:TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]兴义民族师范学院计算机科学系,贵州兴义562400, [2]江南大学理学院,江苏无锡214122
  • 相关基金:国家自然科学基金(the National Natural Science Foundation of China under Grant No.60973156).
  • 相关项目:知识处理领域中的模糊性知识及其不同否定的逻辑基础和集合基础以及应用研究
中文摘要:

中介逻辑ML(Medium Logic),自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种无穷值语义模型,并证明了中介命题逻辑在此模型下具有可靠性与完备性。在此基础上,给出一种真值域为[0,λ)U(λ,1](λ∈(0.5,1))的无穷值语义模型,研究了它的性质,证明了中介命题逻辑在该模型下也具有可靠性与完备性。新模型的存在进一步表明,认定中介逻辑是一种三值逻辑的理由是不充分的。新模型不仅反映了中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了基础。

英文摘要:

Since three-valued model of medium logic(ML) is established, ML has been affirmed one kind of three-valued logic by many scholars.However,for medium proposition logic(MP) being as kernel theory of ML,Pan gave out a model of infinite valued of MP, and proved the theorems of completeness and reliability.Based on this, this paper sets up a new model of infinite valued of MP whose truth valued range is [0,λ)U(λ, 1](λ ∈(0.5, 1)),some properties of the model are investigated, and the theorems of completeness and reliability are proved.This improved model not only further shows that "medium proposition logic is one kind of three valued logic" is incorrect,but also rightly depicts the medium principle which is basic idea of MP,and offers foundation for MP used in more other fields.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊(2014版)
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编:怀进鹏
  • 地址:北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编:100083
  • 邮箱:ceaj@vip.163.com
  • 电话:
  • 国际标准刊号:ISSN:1002-8331
  • 国内统一刊号:ISSN:11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:97887