系统H_α中的子代数的广义重言式理论  

Theory of generalized tautology in subalgebras of system H_α

作　　者：李顺琴[1] 王国俊[2] 

机构地区：[1]延安大学数学与计算机科学学院,陕西延安716000 [2]陕西师范大学数学研究所,西安710062

出　　处：《计算机工程与应用》2010年第8期37-39,51,共4页Computer Engineering and Applications

基　　金：国家自然科学基金Grant No.10331010;延安大学基金(No.YDK2007-28)~~

摘　　要：将多值逻辑系统H(α0≤α≤1)中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H1的序稠密子代数中给出F(S)的一个分划,并把系统H1中的相关结论推广到系统H(α0≤α≤1)中。The theory of generalized tautology in many-valued logical system Hα is extended and theory of generalized tautology in order dense subalgebras of the many-valued logical system Hv is considered.A new partition of F（S） can be obtained in order dense subalgcbras of logic system H＆ by utilizing the concepts of accessible generalized tautology.At last,some results in H1/2 are generalized to the system Hα（0≤α≤1 ）.

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

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