论文部分内容阅读
一个BZMV^dM-代数是个具有一个乘法、结合二元算子＋及两个异常正交互补关系的系统：一个Kleen正交互补关系┐和一个Brouwerian单位～，任意BZMV^dM-代数是一个MV-代数，又是一个分配DE-摩根BZ一格，我们的主要结果是对任意BZMV^dM-代数（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．