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

摘要

The theory of generalized tautology in Gedel logical system is extended.The theory of generalized tautology for all kinds of infinite subalgebras of R_G -algebra is considered. It is proved that, in R_G -subalgebras,the Godel logical system has countable different generalized tautology.%对G(o)del逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,G(o)del逻辑系统中存在着可数多个不同的广义重言式.