关于BCI(BCK)—代数不动点的若干性质

在[1]中作者提出了BCK—代数中不动点的概念,成功地解决了有限单BCK—代数的结构问题。本文将这一概念推广到BCI—代数上,讨论了BCI(BCK)—数中不动点的性质特征,推广了[1]中的结果,得到了用不动点刻划BCI(BCK)—代数的若干结果。