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

Theory of generalized tautology in subalgebras of revised RDP logical system

作　　者：李顺琴[1] 惠小静[1] 

机构地区：[1]延安大学数学与计算机科学学院,陕西延安716000

出　　处：《计算机工程与应用》2015年第12期49-52,106,共5页Computer Engineering and Applications

基　　金：陕西省自然科学基金(No.2014JM1020);陕西省科技计划社发攻关项目(No.2014ks15-03-07);延安市科技计划项目(No.2013ks-03);延安大学自然科学专项基金(No.YDQ2014-45)

摘　　要：讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F（S）关于~同余的一个分划。The theory of generalized tautology in order dense sub-algebras of the revised RDP logical system is considered. Congruence partitions abouton F（S） have been given in order dense sub-algebras of logic system RDP by utilizing the concepts of accessible generalized tautology and α-contradiction.

关 键 词：修正的RDP逻辑系统 广义重言式 α-矛盾式 子代数 分划 

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