修正的Kleene系统中子代数的广义重言式理论  

Theory of generalized tautology in sub-algebras of revised Kleene system

作　　者：魏海新[1] 

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

出　　处：《计算机工程与应用》2009年第22期32-33,46,共3页Computer Engineering and Applications

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

摘　　要：将修正的Kleene系统中的广义重言式理论进行推广,讨论了其序稠密子代数的广义重言式理论,并利用可达广义重言式的概念在W的序稠密子代数中给出F(S)关于┐同余的一个分划。The theory of generalized tautology in revised Kleene system is extended and theory of generalized tautology in order dense sub-algebras of the revised Kleene system is considered in this paper.Congruence partitions about 7 on F （S） have been given in order dense sub-algebras of system W by utilizing the concepts of accessible generalized tautology.

关 键 词：修正的Kleene系统 广义重言式 分划 

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