摘要
将Gdel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于﹁同余的一个分划。
The theory of generalized tautology in Gsdel logical system is extended and theory of generalized tautology in a class of infinite subalgebras of the Gtidel logical system is considered.Congruence partitions about ┑ on F（S）have been given in standard subalgebras E0 of logical system G by utilizing the concepts of accessible generalized tautology.
出处
《计算机工程与应用》
CSCD
北大核心
2010年第29期56-57,62,共3页
Computer Engineering and Applications
基金
广西壮族自治区教育厅科研基金(No.桂教科研[2006]26号)
