Theory of generalized tautology in subalgebras of RDP logical system

Computer Engineering and Applications ›› 2011, Vol. 47 ›› Issue (32): 47-48.

• 研究、探讨 • Previous Articles Next Articles

Theory of generalized tautology in subalgebras of RDP logical system

YU Hongli1，WU Hongbo2

1.Department of Mathematics，Xi’an University of Arts and Science，Xi’an 710065，China
2.College of Mathematics and Information Science，Shaanxi Normal University，Xi’an 710062，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-11-11 Published:2011-11-11

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

于鸿丽1，吴洪博2

1.西安文理学院数学系，西安 710065
2.陕西师范大学数学与信息科学学院，西安 710062

Abstract

Abstract: The theory of generalized tautology in RDP logical system is extended，the concept of generalized tautology of sub-algebras in RDP is given，and the theory of generalized tautology in order dense sub-algebras of RDP logical system is considered in this paper.

Key words: RDP logical system, generalized tautology, subalgebra

摘要： 将RDP逻辑系统中的广义重言式理论进行推广，给出RDP逻辑系统中子代数的广义重言式概念，并讨论其序稠密子代数的广义重言式理论

关键词: RDP逻辑系统, 广义重言式, 子代数

YU Hongli1，WU Hongbo2. Theory of generalized tautology in subalgebras of RDP logical system[J]. Computer Engineering and Applications, 2011, 47(32): 47-48.

于鸿丽1，吴洪博2. 逻辑系统RDP中子代数的广义重言式理论[J]. 计算机工程与应用, 2011, 47(32): 47-48.

[1]	LI Shunqin, HUI Xiaojing. Theory of generalized tautology based on subalgebras of Gainse-Rescher system [J]. Computer Engineering and Applications, 2015, 51(19): 53-55.
[2]	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.
[3]	LI Shunqin, HUI Xiaojing. Generalized contradictory theory in revised RDP logical system [J]. Computer Engineering and Applications, 2015, 51(11): 50-54.
[4]	LI Xiuqing. Theory of generalized tautology in 1/2-subalgebras of Gödel logical system [J]. Computer Engineering and Applications, 2011, 47(5): 43-45.
[5]	LI Xiuqing，WEI Haixin. Subalgebras of R_G-algebra and theory of generalized tautology [J]. Computer Engineering and Applications, 2011, 47(29): 49-51.
[6]	LI Shun-qin¹，WANG Guo-jun². Theory of generalized tautology in subalgebras of system H_α [J]. Computer Engineering and Applications, 2010, 46(8): 37-39.
[7]	WEI Hai-xin . Theory of generalized tautology in class of subalgebras of Gödel system [J]. Computer Engineering and Applications, 2010, 46(29): 56-57.
[8]	WEI Li-ping,XUE Zhan-ao,CEN Feng. Generalized quasi-tautology of Gödel interval-valued logic system [J]. Computer Engineering and Applications, 2009, 45(6): 57-59.
[9]	WEI Hai-xin. Theory of generalized tautology in sub-algebras of revised Kleene system [J]. Computer Engineering and Applications, 2009, 45(22): 32-33.
[10]	LI Shun-qin¹,WANG Guo-jun². Theory of generalized tautology in subalgebras of revised Gödel logical system [J]. Computer Engineering and Applications, 2008, 44(36): 58-60.

Theory of generalized tautology in subalgebras of RDP logical system

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 10

Recommended Articles

Metrics