位置:成果数据库 > 期刊 > 期刊详情页
逻辑伪度量空间中的孤立点
  • ISSN号:1002-8331
  • 期刊名称:《计算机工程与应用》
  • 时间:0
  • 分类:O142[理学—数学;理学—基础数学]
  • 作者机构:[1]陕西师范大学数学与信息科学学院,西安710062, [2]宝鸡文理学院数学系,陕西宝鸡721007
  • 相关基金:国家自然科学基金No.10771129;宝鸡文理学院重点科研项目(No.ZK2519)~~
中文摘要:

在逻辑系统MTL中,对全体逻辑公式集上建立的逻辑伪度量空间进行研究,讨论了孤立点的情形,指出积分真度不为零的公式一定不是对应空间中的孤立点,而对于积分真度为零的公式,则要分不同性质类型的系统讨论,得到的情形也完全不同。

英文摘要:

The situation of isolated points in logic pseuo-metric spaces induced by integral truth degrees in MTL are disscussed.The formulas are definitely not the isolated points in correspongding spaces when their truth degrees are not equal to zero is proved.However,for the formulas whose truth degrees equal zero,the conclusions are completed different whenever the characteristic of logic systems are changed.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊(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