修正的Gdel系统的子代数中F(S)的分划及升级算法  

Partitions of F(S) and properties of its upgrade algorithm in subalgebras of revised Gdel system

作　　者：魏海新[1] 李晨晖[2] 

机构地区：[1]桂林航天工业学院信息工程系,广西桂林541004 [2]桂林航天工业学院电子工程系,广西桂林541004

出　　处：《计算机工程与应用》2012年第26期44-47,共4页Computer Engineering and Applications

基　　金：广西壮族自治区教育厅科研基金(桂教科研[2010]10号)

摘　　要：将修正的Gdel逻辑系统中广义矛盾式理论推广,讨论了修正的Gdel逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划。The theory of generalized contradictory in revised Gtidel system is extended in this paper. The theory of generalized contradictory of a class subalgebra of Godel logical system is considered. Moreover, partitions on F（S） are given in corresponding subalgebras.

关 键 词：修正的Gdel系统 广义矛盾式 子代数 分划 

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