关于BZMV^(dM)-代数的某些结果  

Some Results on BZMV^(dM)-algebras

作　　者：武多义[1] 

机构地区：[1]佛山科技学院教育科学学院,广东佛山528000

出　　处：《青海师范大学学报（自然科学版）》2006年第4期9-11,共3页Journal of Qinghai Normal University(Natural Science Edition)

摘　　要：一个BZMVdM-代数是个具有一个乘法、结合二元算子及两个异常正交互补关系的系统:一个Kleen正交互补关系┐和一个Brouwerian单位~,任意BZMVdM-代数是一个MV-代数,又是一个分配DE-摩根BZ—格,我们的主要结果是对任意BZMvdM-代数(A,,┐,~,0)下面的性质成立:x,y∈A,(1)~~x=x当且仅当~x x=x当且仅当x x=x,(2)x^y=0当且仅当x┐y,(3)^(x y)=~x^y,(4)x^x=1.A BZMV^dM - algebra is a system endowed with a commutative and associative binary operator ＋ and ： a kleen orthocompleraentation ┐ and a Brouwefian one ～, and every BZMV^dM - algebra is both an MV - algebra and a distributive DE - Morgan BZ - lattice. Our main results is that the following properties hold,for any BZMV^dM - algebra（A,＋,┐ ,～~ ,0）, arbitary x, y∈ A, （1） ～～x=x iff～x＋x=x iff x＋x=x,（2）x∧y=0 iff x≤┐y,（3）～（x＋y）=～x＋～y,（4）x＋～x=1.

关 键 词：BZMV^dM-代数 Kleeu正交互补关系 Brouwerian正交互补关系 

分 类 号：O156.2[理学—数学]