位置:成果数据库 > 期刊 > 期刊详情页
Gdel逻辑系统中1/2-子代数上的广义重言式理论
  • ISSN号:1002-8331
  • 期刊名称:《计算机工程与应用》
  • 时间:0
  • 分类:O141.1[理学—数学;理学—基础数学]
  • 作者机构:[1]桂林航天工业高等专科学校计算机系,广西桂林541004
  • 相关基金:广西壮族自治区教育厅科研基金(桂教科研[2006]26号)
作者: 李修清[1]
中文摘要:

将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F(S)关于同余的一个分划。

英文摘要:

The theory of generalized tautology in Gdel logical system is extended.The theory of generalized tautology for three kinds of infinite subalgebras with 1/2-accumulation point of logical systemG is considered.Congruence partitions about on F(S)have been given in three kinds of infinite sub algebras of logical systemG by utilizing the concepts of accessible generalized tautology.

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