将Godel辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在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.