计算机工程与应用2011，Vol.47Issue(29)：49-51,59,4.DOI:10.3778/j.issn.1002-8331.2011.29.014
RG-代数的子代数与广义重言式理论
Subalgebras of RG -algebra and theory of generalized tautology
摘要
Abstract
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-代数/分划Key words
Godel logical system/generalized tautology/R/G-subalgebra/partition分类
数理科学引用本文复制引用
李修清,魏海新..RG-代数的子代数与广义重言式理论[J].计算机工程与应用,2011,47(29):49-51,59,4.基金项目
广西壮族自治区教育厅科研项目(桂教科研[2011]14号). （桂教科研[2011]14号）
