有界可交换的Griss-代数的一个刻画

设(X,*,V,0;≤)是一个有界可交换且满足B-2的Griss-代数,(X,*,0)是一个有界可交换的Bck-代数,证明了(X,*,V,0;≤)和(X,*,0)是两个等价的代数系统。

关于GRISS-代数和BCK-代数的一点注记

对GRISS-代数的性质作了初步探讨,并给出了20多条GRISS-代数的重要性质,同时也对GRISS-代数和BCK-代数之间的关系作了研究,得出了有界可交换的BCK-代数是GRISS-代数的重要结论.