位置:成果数据库 > 期刊 > 期刊详情页
Gdel逻辑系统中标准子代数上的广义矛盾式
  • ISSN号:1673-0194
  • 期刊名称:《中国管理信息化》
  • 时间:0
  • 分类:O141.1[理学—数学;理学—基础数学]
  • 作者机构:[1]桂林航天工业高等专科学校图书馆,广西桂林541004, [2]桂林航天工业高等专科学校计算机系,广西桂林541004
  • 相关基金:广西区教育厅科研基金(桂教科研[2006]26号)
中文摘要:

文章讨论了Godel逻辑系统中标准子代数E0上的广义矛盾式理论,给出标准子代数上可达0-重言式的一个分划,证明了在标准子代数E0中,重言式不可能由对非重言式进行有限次升级算法得到,利用广义重言式和α-矛盾式概念在E0中给出了F(S)的一个关于同余的分划。

同期刊论文项目
同项目期刊论文
期刊信息
  • 《中国管理信息化:综合版》
  • 主管单位:吉林省新闻出版局
  • 主办单位:吉林科学技术出版社
  • 主编:吴文凯
  • 地址:长春市人民大街4646号出版大厦8层
  • 邮编:130021
  • 邮箱:
  • 电话:0431-85635173 5642030-3167
  • 国际标准刊号:ISSN:1673-0194
  • 国内统一刊号:ISSN:22-1359/TP
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:3077