Theory of generalized tautology in 1/2-subalgebras of Gödel logical system

Computer Engineering and Applications ›› 2011, Vol. 47 ›› Issue (5): 43-45.

• 研究、探讨 • Previous Articles Next Articles

Theory of generalized tautology in 1/2-subalgebras of Gödel logical system

LI Xiuqing

Guilin College of Aerospace Technology，Guilin，Guangxi 541004，China

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

Gödel逻辑系统中1/2-子代数上的广义重言式理论

李修清

桂林航天工业高等专科学校计算机系，广西桂林 541004

Abstract

Abstract: The theory of generalized tautology in Gödel logical system is extended.The theory of generalized tautology for three kinds of infinite subalgebras with 1/2-accumulation point of logical system G is considered.Congruence partitions about ¬ on F(S) have been given in three kinds of infinite sub algebras of logical system G by utilizing the concepts of accessible generalized tautology.

Key words: Gö, del logical system, generalized tautology, subalgebra, partition

摘要： 将Gödel逻辑系统中的广义重言式理论进行推广，讨论了逻辑系统G中具有1/2聚点的三类无限子代数上的广义重言式理论，并利用可达广义重言式的概念在G的三类子代数中给出F（S）关于¬同余的一个分划。

关键词: Gö, del逻辑系统, 广义重言式, 子代数, 分划

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.

李修清. Gödel逻辑系统中1/2-子代数上的广义重言式理论[J]. 计算机工程与应用, 2011, 47(5): 43-45.

[1]	WANG Yongyong, HUI Xiaojing. Average truth degree of Gödel[n]-valued propositional logic system with[Δ]operator [J]. Computer Engineering and Applications, 2018, 54(19): 68-71.
[2]	ZHU Naidiao, HUI Xiaojing, GAO Xiaoli, GAO Jiao. Theory of truth degree in Gödel [n]-valued propositional logic system [J]. Computer Engineering and Applications, 2017, 53(11): 67-72.
[3]	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.
[4]	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.
[5]	LI Shunqin, HUI Xiaojing. Generalized contradictory theory in revised RDP logical system [J]. Computer Engineering and Applications, 2015, 51(11): 50-54.
[6]	ZHOU Jianren, WU Hongbo. Structure of subalgebra of MV-algebra with relations between tautologies on them [J]. Computer Engineering and Applications, 2013, 49(9): 45-49.
[7]	WEI Haixin1, LI Chenhui2. Partitions of F(S) and properties of its upgrade algorithm in subalgebras of revised G?del system [J]. Computer Engineering and Applications, 2012, 48(26): 44-47.
[8]	YU Hongli1，WU Hongbo2. Theory of generalized tautology in subalgebras of RDP logical system [J]. Computer Engineering and Applications, 2011, 47(32): 47-48.
[9]	LI Xiuqing，WEI Haixin. Subalgebras of R_G-algebra and theory of generalized tautology [J]. Computer Engineering and Applications, 2011, 47(29): 49-51.
[10]	SHAO Yingchao，QIN Keyun. Soft sets and soft RSL-algebras [J]. Computer Engineering and Applications, 2011, 47(27): 15-18.
[11]	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.
[12]	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.
[13]	NIU Guang-hua¹，CHEN Huai-jin²，YUAN Yan-li³. Truth degree analysis of classical logic axiom in fuzzy logic [J]. Computer Engineering and Applications, 2010, 46(18): 38-39.
[14]	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.
[15]	WEI Hai-xin. Theory of generalized tautology in sub-algebras of revised Kleene system [J]. Computer Engineering and Applications, 2009, 45(22): 32-33.

Theory of generalized tautology in 1/2-subalgebras of Gödel logical system

Gödel逻辑系统中1/2-子代数上的广义重言式理论

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics