Gdel系统中一类子代数上的广义重言式理论  

Theory of generalized tautology in class of subalgebras of Gdel system

作　　者：魏海新[1] 

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

出　　处：《计算机工程与应用》2010年第29期56-57,62,共3页Computer Engineering and Applications

基　　金：广西壮族自治区教育厅科研基金(No.桂教科研[2006]26号)

摘　　要：将Gdel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于﹁同余的一个分划。The theory of generalized tautology in Gsdel logical system is extended and theory of generalized tautology in a class of infinite subalgebras of the Gtidel logical system is considered.Congruence partitions about ┑ on F（S）have been given in standard subalgebras E0 of logical system G by utilizing the concepts of accessible generalized tautology.

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

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]