排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
关于N(2,2,0)代数 总被引:26,自引:0,他引:26
本文定义了一种新的(2,2,0)型代数(S,*,Δ,0),简称为N(2,2,0)代数。研究了它的基本性质;初步探讨了关于Δ运算幂零和*运算幂等的N(2,2,0)代数的特性;证明了:Δ运算幂零时,(S,Δ,0)构成一个结合的BCI-代数;*运算幂等时,(S,*,Δ,0)合一问题是不可判定的。 相似文献
2.
IntroductionAnalgebraicstructureisanimportanttopicofMV (multivalued) logic .MV algebra ,FIalgebra,lattice implicationalgebra ,implicationlatticeandR0 algebraareimportantnovelalgebraicstructures .ChangpresentedinRef.[1 ]anMV algebratoprovethecompletenesso… 相似文献
3.
Some properties of BZMV^dM-algebra are proved, and a new operator is introduced. It is shown that the substructure of BZMV^dM-algebra can produce a quasi-lattice implication algebra. The relations between BZMW^dW-algebra and other algebras are discussed in detail. A pseudo-distance function is defined in linear BZMV^dM-algebra, and its properties are derived. 相似文献
1