具有自然全序的6阶单BCK-代数的完全确定

设X=(X;*,0)是BCK-代数,对X中元素a,b规定a【b=a*b=0,若X对于序关系【是一个全序集,则称X是具有自然全序的BCK-代数,我们证明了具有自然全序的6阶单BCK-代数总共有22种。