摘要
本文定义了一种新的(2,2,0)型代数(S,*,△,0),简称为N(2,2,0)代数。研究了它的基本性质;初步探讨了关于△运算幂零和*运算幂等的N(2,2,0)代数的特性;证明了;△运算幂零时,(S,△,0)构成一个结合的BCI-代数;*运算幂等时,(S,*,△,0)合一问题是不可判定的.
A new algebra called N(2, 2, 0) algebra is proposed, and its basic properties are discussed. The properties of Δ-operator nilpotent and *──operatof idemoptent play an important role in N(2, 2, 0) algebras. W (S, Δ, 0) is an associative BCI-algebra when Δ is a nilpotent operatior, and the N(2, 2,0)- unification problem is undecidable when * is an idempoten operator.
出处
《西南交通大学学报》
EI
CSCD
北大核心
1996年第4期457-463,共7页
Journal of Southwest Jiaotong University