BCK-域相关论文
主要明确了纯有限BCK-域和无限循环BCK-域的运算结构,进而给出了构作BCK-域(或BCK-代数)的一般方法,引入了独立列的概念,并给出了相关的组合结论。......
引入了BCI—域的概念,并主要证明了:BCI—域仅有广义结合BCI—域(域的一种减法刻划)和BCK—域两种类型。......