计算机工程与应用Issue(12)：49-52,106,5.DOI:10.3778/j.issn.1002-8331.1408-0049
修正的RDP逻辑系统中子代数的广义重言式理论
Theory of generalized tautology in subalgebras of revised RDP logical system
摘要
Abstract
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.关键词
修正的RDP逻辑系统/广义重言式/α-矛盾式/子代数/分划Key words
revised RDP logical system/generalized tautology/α-contradiction/subalgebra/partition分类
数理科学引用本文复制引用
李顺琴,惠小静..修正的RDP逻辑系统中子代数的广义重言式理论[J].计算机工程与应用,2015,(12):49-52,106,5.基金项目
陕西省自然科学基金（No.2014JM1020）；陕西省科技计划社发攻关项目（No.2014ks15-03-07）；延安市科技计划项目（No.2013ks-03）；延安大学自然科学专项基金（No.YDQ2014-45）。 （）
