摘要
讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F（S）关于~同余的一个分划。
The theory of generalized tautology in order dense sub-algebras of the revised RDP logical system is considered. Congruence partitions abouton F（S） have been given in order dense sub-algebras of logic system RDP by utilizing the concepts of accessible generalized tautology and α-contradiction.
出处
《计算机工程与应用》
CSCD
北大核心
2015年第12期49-52,106,共5页
Computer Engineering and Applications
基金
陕西省自然科学基金(No.2014JM1020)
陕西省科技计划社发攻关项目(No.2014ks15-03-07)
延安市科技计划项目(No.2013ks-03)
延安大学自然科学专项基金(No.YDQ2014-45)
