有界BCK代数是一个具有最大元和最小元的偏序集,是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象.在有界BCK代数和关联BCK代数概......

一个BCK-代数【X;*,0】叫做关联的,如果它满足 (1).x*(y*x)=x K.Is’eki[2]证明了满足(1)的BCI-代数是一个BCK-代数。于是为了引入......

本文主要讨论有限关联BCK-代数的存在性结构和个数问题。命题1 设N’是全体正无平方因子数的集合。若在N’上定义二元运算......