修正的Gdel逻辑系统中三类无限子代数及其F(S)的分划  

Three Kinds of Infinite Subalgebras of Gdel Logical System and Partitions of F(S)

作　　者：李修清[1] 林亮[2] 

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

出　　处：《模糊系统与数学》2010年第6期42-47,共6页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(10661006);广西区教育厅科研基金资助项目(桂教科研[2006]26号)

摘　　要：将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统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 of logical system -G is considered in this paper.Congruence partitions about-on F（S） have been given in three kinds of infinite subalgebras of logical system -G by utilizing the concepts of accessible generalized tautology.

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

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