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

计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (12): 49-52.

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

李顺琴，惠小静

延安大学数学与计算机科学学院，陕西延安 716000

出版日期:2015-06-15 发布日期:2015-06-30

Theory of generalized tautology in subalgebras of revised RDP logical system

LI Shunqin, HUI Xiaojing

College of Mathematics and Computer Science, Yan’an University, Yan’an, Shaanxi 716000, China

Online:2015-06-15 Published:2015-06-30

摘要/Abstract

摘要： 讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论，并利用可达广义重言式概念和[α-]矛盾式概念在[RDP]的序稠密子代数中给出[F(S)]关于[～]同余的一个分划。

关键词: 修正的RDP逻辑系统, 广义重言式, [&alpha, -]矛盾式, 子代数, 分划

Abstract: 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.

Key words: revised RDP logical system, generalized tautology, [α-]contradiction, subalgebra, partition

李顺琴，惠小静. 修正的RDP逻辑系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2015, 51(12): 49-52.

LI Shunqin, HUI Xiaojing. Theory of generalized tautology in subalgebras of revised RDP logical system[J]. Computer Engineering and Applications, 2015, 51(12): 49-52.

[1]	刘莉萍1，章新友1，牛晓录2，郭永坤1，丁亮1. 基于Spark的并行关联规则挖掘算法研究综述[J]. 计算机工程与应用, 2019, 55(9): 1-9.
[2]	郭红，周健倩，张瑛瑛，郭昆. 基于协处理器的HBase二级索引方法[J]. 计算机工程与应用, 2019, 55(21): 87-92.
[3]	贾冀芳，张立新，廖明耀. 基于OpenSSL的SM2与RSA自动切换算法的设计[J]. 计算机工程与应用, 2018, 54(3): 74-81.
[4]	周丽芳1，2，文佳黎1，李伟生3. 基于TI-SPCA的人脸自动对齐及识别框架[J]. 计算机工程与应用, 2018, 54(24): 188-192.
[5]	彭福来，于治楼，陈乃阔，耿士华，李凯一. 面向国产CPU的可重构计算系统设计及性能探究[J]. 计算机工程与应用, 2018, 54(23): 36-41.
[6]	张文元1，丁京祯1，杨丽娜2，杨翔宇1. 室内外一体化最优路径分析算法实现[J]. 计算机工程与应用, 2018, 54(18): 58-65.
[7]	关日钊，陈新度，吴磊. 面向点云模型的交互式位姿调整系统[J]. 计算机工程与应用, 2018, 54(18): 195-200.
[8]	王永超，鲁鸣鸣. 面向金融行业的大数据迁移的研究与实现[J]. 计算机工程与应用, 2018, 54(13): 93-99.
[9]	丁磊，刘清华，江志文. 基于ESLS的顾客定位系统的设计与实现[J]. 计算机工程与应用, 2018, 54(11): 249-253.
[10]	冯兴杰，吴稀钰，赵杰，贺阳，房戍. QAR数据仓库在Hive中的构建[J]. 计算机工程与应用, 2017, 53(11): 90-94.
[11]	李顺琴，惠小静. Gainse-Rescher系统基于子代数的广义重言式[J]. 计算机工程与应用, 2015, 51(19): 53-55.
[12]	李顺琴，惠小静. 修正的RDP逻辑系统中的广义矛盾式[J]. 计算机工程与应用, 2015, 51(11): 50-54.
[13]	周建仁，吴洪博. MV代数的子代数及相关重言式之间的关系[J]. 计算机工程与应用, 2013, 49(9): 45-49.
[14]	王敏，黄战华，孙秋实，王铨. DSP系统程序远程更新的研究与实现[J]. 计算机工程与应用, 2012, 48(8): 109-111.
[15]	张友亮，刘志军，马成海，赵艳艳，张风. 万兆以太网MAC层控制器的FPGA设计与实现[J]. 计算机工程与应用, 2012, 48(6): 77-79.