Computer Engineering and Applications ›› 2011, Vol. 47 ›› Issue (29): 49-51.

• 研究、探讨 • Previous Articles     Next Articles

Subalgebras of RG-algebra and theory of generalized tautology

LI Xiuqing,WEI Haixin   

  1. Guilin College of Aerospace Technology,Guilin,Guangxi 541004,China
  • Received:1900-01-01 Revised:1900-01-01 Online:2011-10-11 Published:2011-10-11

RG-代数的子代数与广义重言式理论

李修清,魏海新   

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

Abstract: The theory of generalized tautology in Godel logical system is extended.The theory of generalized tautology for all kinds of infinite subalgebras of RG-algebra is considered.It is proved that,in RG-subalgebras,the G?del logical system has countable different generalized tautology.

Key words: Godel logical system, generalized tautology, RG-subalgebra, partition

摘要: 对Godel逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,Godel逻辑系统中存在着可数多个不同的广义重言式。

关键词: Godel逻辑系统, 广义重言式, RG-代数, 分划