摘要
将修正的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.
出处
《计算机工程与应用》
CSCD
北大核心
2009年第22期32-33,46,共3页
Computer Engineering and Applications
基金
广西区教育厅科研基金(No.桂教科研[2006]26号)
