修正的Gdel逻辑系统中子代数的广义重言式理论

Theory of generalized tautology in subalgebras of revised Gdel logical system

将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F(S)关于┐同余的一个分划.

The theory of generalized tautology in revised GSdel logical system is extended and theory of generalized tautology in order dense sub-algebras of the revised Goedel logical system is considered in this paper.Congruence partitions about on F（S） have been given in order dense sub-algebras of logic system G by utilizing the concepts of accessible generalized tautology and α-contradiction.