Gdel逻辑系统中1/2-子代数上的广义重言式理论  

Theory of generalized tautology in 1/2-subalgebras of Gdel logical system

作　　者：李修清[1] 

机构地区：[1]桂林航天工业高等专科学校计算机系,广西桂林541004

出　　处：《计算机工程与应用》2011年第5期43-45,100,共4页Computer Engineering and Applications

基　　金：广西壮族自治区教育厅科研基金(桂教科研[2006]26号)

摘　　要：将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F(S)关于同余的一个分划。The theory of generalized tautology in Gdel 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.

关 键 词：Gdel逻辑系统 广义重言式 子代数 分划 

分 类 号：O141.1[理学—数学]