Theory of generalized tautology in class of subalgebras of Gödel system

doi:10.3778/j.issn.1002-8331.2010.29.016

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (29): 56-57.DOI: 10.3778/j.issn.1002-8331.2010.29.016

• 研究、探讨 • Previous Articles Next Articles

Theory of generalized tautology in class of subalgebras of Gödel system

WEI Hai-xin

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

Received:2009-05-05 Revised:2009-06-20 Online:2010-10-11 Published:2010-10-11
Contact: WEI Hai-xin

Gödel系统中一类子代数上的广义重言式理论

魏海新

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

通讯作者: 魏海新

Abstract

Abstract: The theory of generalized tautology in Gödel logical system is extended and theory of generalized tautology in a class of infinite subalgebras of the Gödel logical system is considered.Congruence partitions about G on F(S)have been given in standard subalgebras E0 of logical system G by utilizing the concepts of accessible generalized tautology.

摘要： 将Gödel逻辑系统中的广义重言式理论进行推广，讨论了一类无限子代数上的广义重言式理论，并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于G同余的一个分划。

CLC Number:

TP18

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.

魏海新. Gödel系统中一类子代数上的广义重言式理论[J]. 计算机工程与应用, 2010, 46(29): 56-57.

[1]	GUI Wangsheng¹，LIU Libin¹，OUYANG Aijia²，ZHOU Yongquan³，LI Kenli⁴. Multi-objective center PSO based on Pareto for mechanical optimization [J]. Computer Engineering and Applications, 2011, 47(4): 57-60.
[2]	CUI Mingyi，ZHANG Xinxiang，SU Baiyun. Research on swarm intelligence optimization based on gene mutation [J]. Computer Engineering and Applications, 2011, 47(4): 39-41.
[3]	HUANG Minmei. Particle swarm optimization based method for logistics center location problem [J]. Computer Engineering and Applications, 2011, 47(4): 212-214.
[4]	LU Hua，ZHOU Deyun. Research on grey-analysis-based tactics decision of air-to-ground multi-target combat [J]. Computer Engineering and Applications, 2011, 47(4): 239-241.
[5]	PEI Shengyu，ZHOU Yongquan，LUO Qifang. Co-evolutionary particle swarm algorithm based on information entropy [J]. Computer Engineering and Applications, 2011, 47(3): 225-228.
[6]	SU Chen¹，NI Shihong¹，WANG Yanhong². Method of rule acquirement of flight state based on improved AIS [J]. Computer Engineering and Applications, 2011, 47(3): 237-239.
[7]	LIU Junfang¹，GAO Yuelin². Quantum particle swarm optimization algorithm with adaptive mutation [J]. Computer Engineering and Applications, 2011, 47(3): 41-43.
[8]	WANG Yongsheng，LI Junli. Centroid particle swarm optimization algorithm [J]. Computer Engineering and Applications, 2011, 47(3): 34-37.
[9]	MA Lei，WANG Xili. Semi-supervised regression based on support vector machine co-training [J]. Computer Engineering and Applications, 2011, 47(3): 177-180.
[10]	AN Qiusheng. Study of approximate measures for rough functional dependencies based on bit pattern [J]. Computer Engineering and Applications, 2011, 47(2): 26-28.
[11]	ZHANG Yunong¹，GUO Dongsheng¹，TAN Ning². Optimal-structure determination of power-activation feed-forward neural net [J]. Computer Engineering and Applications, 2011, 47(2): 29-31.
[12]	LI Chunfeng，LI Daiping，OUYANG Xiaoxing，MA Haifeng，LIU Ruiling. Research and design of chip operating system based on RF_SIM card [J]. Computer Engineering and Applications, 2011, 47(2): 57-59.
[13]	QIU Xuqin，WEI Lili . Attribute reduction of random information systems based on dominance relation [J]. Computer Engineering and Applications, 2011, 47(2): 131-135.
[14]	HUANG Junheng¹，SUN Yushan²，ZHU Dongjie². Research of clustering algorithm based on diffusion model [J]. Computer Engineering and Applications, 2011, 47(2): 121-123.
[15]	LIU Haitao^1，2，ZHAI Jingmei¹，XU Xiao¹. New method of attribute reduction algorithm for inconsistent decision table [J]. Computer Engineering and Applications, 2011, 47(2): 124-126.

Theory of generalized tautology in class of subalgebras of Gödel system

Gödel系统中一类子代数上的广义重言式理论

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics