Gdel逻辑系统中标准子代数上的广义矛盾式  

作　　者：李修清[1] 魏海新[2] 

机构地区：[1]桂林航天工业高等专科学校图书馆,广西桂林541004 [2]桂林航天工业高等专科学校计算机系,广西桂林541004

出　　处：《桂林航天工业高等专科学校学报》2010年第3期391-393,共3页Journal of Guilin College of Areospace Technology

基　　金：广西区教育厅科研基金(桂教科研[2006]26号)

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

关 键 词：Gdel逻辑系统 广义矛盾式 子代数 分划 

分 类 号：O141.1[理学—数学]