泛逻辑的一级泛运算模型的代数性质  

Some Algebraic Properties about the 1-level Universal Operation Model of Universal Logic

作　　者：罗敏霞[1] 何华灿[1] 

机构地区：[1]西北工业大学计算机学院,西安710072

出　　处：《计算机工程与应用》2004年第30期4-7,28,共5页Computer Engineering and Applications

基　　金：国家自然科学基金(编号:60273087);北京市自然科学基金(编号:4032009)资助

摘　　要：论文讨论泛逻辑的一级泛运算模型的基本代数性质。证明了T(x,y,h,k)(h∈(0,0.75),k∈(0,1))是幂零的阿基米德型三角范数,T(x,y,h,k)(h∈(0.75,1),k∈(0,1))是严格的阿基米德型三角范数;泛与运算模型与泛蕴涵运算模型形成一个伴随对。当h∈(0,0.75),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个MV-代数;当h∈(0.75,1),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个乘积代数。进一步,给出了一级泛与运算模型与泛或运算模型的加性生成元与乘性生成元。In this paper,we discuss some basic properties about the model of 1-level universal operation model of universal logic.We prove that the norm T(x,y,h,k) is nilpotent Archimedean for h∈(0,0.75)and k∈(0,1),and the norm T(x,y,h,k) is strict Archimedean for h∈(0.75,1)and k∈(0,1).The model of universal conjunction T(x,y,h,k) and the model of universal implication I(x,y,h,k)form an adjoint pair.It was shown that the bounded lattice (,∨,∧,T,I,0,1) is a MV-algebra for h∈(0,0.75) and k∈(0,1),and the bounded lattice (,∨,∧,*,→,0,1)is a product algebra for h∈(0.75,1) and k∈(0,1).Moreover,we give an additive generator and a multiplicative generator of the universal conjunction and the universal disjunction respectively.

关 键 词：泛与运算模型 泛或运算模型 伴随对 加性生成元 乘性生成元 

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