BCI-代数与BCK-代数的粘合(Ⅱ)(英文)

摘要

在“BCI-代数与 BCK-代数的粘合 ( )”一文中构造了 BCI-代数范畴中一种自然的方法 ,使得任一 BCI-代数与 BCK-代数能以此法粘合 .先前许多作者定义的粘合是这种构造的特殊情况 .这里说明这种构造保留两个代数的许多性质 ,并导出同构的粘合 。