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

Subalgebras of R_G-algebra and theory of generalized tautology

作　　者：李修清[1] 魏海新[1] 

机构地区：[1]桂林航天工业高等专科学校计算机系,广西桂林541004

出　　处：《计算机工程与应用》2011年第29期49-51,59,共4页Computer Engineering and Applications

基　　金：广西壮族自治区教育厅科研项目(桂教科研[2011]14号)

摘　　要：对Gdel逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,Gdel逻辑系统中存在着可数多个不同的广义重言式。The theory of generalized tautology in Goedel 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 Goedel logical system has countable different generalized tautology.

关 键 词：Gdel逻辑系统 广义重言式 子RG-代数 分划 

分 类 号：O141.1[理学—数学]