| 修正的RDP逻辑系统中子代数的广义重言式理论 |
| |
| 引用本文： | 李顺琴,惠小静.修正的RDP逻辑系统中子代数的广义重言式理论[J].计算机工程与应用,2015(12). |
| |
| 作者姓名： | 李顺琴 惠小静 |
| |
| 作者单位： | 延安大学 数学与计算机科学学院,陕西 延安,716000 |
| |
| 基金项目： | 陕西省自然科学基金(No.2014JM1020)；陕西省科技计划社发攻关项目(No.2014ks15-03-07)；延安市科技计划项目(No.2013ks-03)；延安大学自然科学专项基金(No.YDQ2014-45)。 |
| |
| 摘 要： | 讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论，并利用可达广义重言式概念和α-矛盾式概念在----RDP的序稠密子代数中给出F(S)关于同余的一个分划。
|
| 关 键 词： | 修正的RDP逻辑系统 广义重言式 α-矛盾式 子代数 分划 |
Theory of generalized tautology in subalgebras of revised RDP logical system |
| |
| LI Shunqin,HUI Xiaojing.Theory of generalized tautology in subalgebras of revised RDP logical system[J].Computer Engineering and Applications,2015(12). |
| |
| Authors: | LI Shunqin HUI Xiaojing |
| |
| Abstract: | |
| |
| Keywords: | revised RDP logical system generalized tautology α-contradiction subalgebra partition |
| 本文献已被 万方数据 等数据库收录！ |
