Generalized contradictory theory in revised RDP logical system

Computer Engineering and Applications ›› 2015, Vol. 51 ›› Issue (11): 50-54.

Previous Articles Next Articles

Generalized contradictory theory in 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-01 Published:2015-06-12

修正的RDP逻辑系统中的广义矛盾式

李顺琴，惠小静

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

Abstract

Abstract: The theory of generalized contradictory is discussed and divided in revised RDP logical system. A downgrade algorithm among generalized contradictions in revised RDP logical system is introduced and its properties are discussed.

Key words: revised RDP logic system, generalized tautology, generalized contradiction, downgrade algorithm, partition

摘要： 讨论了修正的RDP逻辑系统中的广义矛盾式，并对该系统中的广义矛盾式进行了分划；给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。

关键词: 修正的RDP逻辑系统, 广义重言式, 广义矛盾式, 降级算法, 分划

LI Shunqin, HUI Xiaojing. Generalized contradictory theory in revised RDP logical system[J]. Computer Engineering and Applications, 2015, 51(11): 50-54.

李顺琴，惠小静. 修正的RDP逻辑系统中的广义矛盾式[J]. 计算机工程与应用, 2015, 51(11): 50-54.

[1]	ZHANG Kehua, CHENG Weiqing. Differential Privacy Clustering Algorithm Based on Spatial Dynamic Partition [J]. Computer Engineering and Applications, 2021, 57(2): 97-103.
[2]	LIU Suolan, GU Jiahui, WANG Hongyuan, ZHANG Yunpeng. Human Behavior Recognition Based on Associative Partition and ST-GCN [J]. Computer Engineering and Applications, 2021, 57(13): 168-175.
[3]	LIU Yi, ZHANG Qigui. Fast Inter-Frame Prediction Algorithm with Partition Level Limitation [J]. Computer Engineering and Applications, 2021, 57(10): 200-203.
[4]	WANG Wenhui, LI Peng, HU Yundi. Measurement Set Partitioning Algorithm for Extended Target Based on Target Prediction [J]. Computer Engineering and Applications, 2020, 56(8): 143-148.
[5]	LI Chao, DONG Xinhua, CHEN Jianxia. Asynchronous Iterative Updates Method Based on Subgraph in Spark [J]. Computer Engineering and Applications, 2020, 56(7): 67-73.
[6]	HUANG Sheng, LI Mengfang, ZHANG Qianyun. Fast Inter Algorithm for Surveillance and Conference Video Based on Background Frame [J]. Computer Engineering and Applications, 2020, 56(22): 205-210.
[7]	AN Likui, HAN Liyan. Instruction Prefetching and Cache Partitioning for Multicore Cache WCEC Optimization [J]. Computer Engineering and Applications, 2020, 56(1): 69-75.
[8]	YAN Miaomiao, LIU Sanyang. Multi-Classes Interaction Teaching-Learning-Based Optimization Algorithm [J]. Computer Engineering and Applications, 2019, 55(9): 10-16.
[9]	WANG Junwei, CHEN Xing, DENG Yimin, LIU Yang, WANG Junhui. Research on Adaptive Layering of Feature Information of STL Model [J]. Computer Engineering and Applications, 2019, 55(6): 244-251.
[10]	SU Qing1, ZHANG Jingfang1, LIN Zhengxin1, LI Xiaomei1, CAI Zhaoquan2, ZENG Yong’an1. Collaborative Filtering Recommendation Algorithm Based on Improved Fuzzy Partition Clustering [J]. Computer Engineering and Applications, 2019, 55(5): 118-123.
[11]	YANG Kang, YOU Xiaoming, LIU Sheng. Self-Adaptive Double-Population Ant Colony Algorithm with Entropy [J]. Computer Engineering and Applications, 2019, 55(19): 66-73.
[12]	WANG Lingyang, CHEN Qinkuang, SHOU Lidan, CHEN Ke. Reserch of Entity Matching Based on Multiple Heterogenous Data [J]. Computer Engineering and Applications, 2019, 55(19): 87-95.
[13]	ZHONG Yuling, WANG Xite, BAI Mei, ZHU Bin, LI Guanyu. FODU：Fast Outlier Detection Approach on Uncertain Data Sets [J]. Computer Engineering and Applications, 2019, 55(19): 105-114.
[14]	DAI Min. Web Cache Replacement Strategy Based on NB Classifier for Re-access Probability Prediction [J]. Computer Engineering and Applications, 2019, 55(19): 134-140.
[15]	ZENG Min, ZHANG Jun, CHEN Shiqi, MA Shuo, ZHAO Yangfei. ATSP：Adaptive Time Slices Partition Method for Temporal Network Visualization [J]. Computer Engineering and Applications, 2019, 55(16): 55-63.

Generalized contradictory theory in revised RDP logical system

修正的RDP逻辑系统中的广义矛盾式

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics