将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F(S)关于同余的一个分划。
The theory of generalized tautology in Gdel logical system is extended.The theory of generalized tautology for three kinds of infinite subalgebras with 1/2-accumulation point of logical systemG is considered.Congruence partitions about on F(S)have been given in three kinds of infinite sub algebras of logical systemG by utilizing the concepts of accessible generalized tautology.