弱Boole代数与具有条件(S)的关联BCK-代数

证明了具有条件(S)的关联BCK-代数(X;*,)о等价于弱Boole代数(X;∧,,о*)。

阶n≤5的有条件(S)的BCK-代数

本文对具有条件（Ｓ）的有限ＢＣＫ代数的结构作了较深入的研讨，给出了有条件（Ｓ）的一些充分条件与必要条件．在此基础上。

关于具有条件(S)的BCK—代数的剩余半群

本文证明了具有条件 (S)的 BCK—代数的伴随半群是一个可换蕴涵半群 ;同时讨论了具有条件 (S)的

每一个具有条件(S)的BCK—代数是一个可换负偏序幺半群的剩余元集

本文证明了每一个具有条件(S)的BCK—代数诱导一个交换负偏序剩余幺半群,反之每一个交换负偏序剩余幺半群诱导一个具有条件(S)的BCK—代数。由此进一步说明每一个具有条件(S)的BCK—代数是交换负偏序幺半群的剩余元集。

阶n≤5有条件(S)的真BCI-代数结构

通过研究有条件(S)的有限BCI-代数结构,给出了有条件(S)的一些充分条件与必要条件.在此基础上,找出了所有阶n≤5的有条件(S)的真BCI-代数,并将阶n≤5的真BCI-代数按照有条件(S)列成一个表,以方便查阅.

拟结合BCI—代数的若干特征

本文将给出拟结合BCI—代数成为P—半单BCI—代数的若干等价条件,并讨论结合BCI—代数与正蕴涵具有条件(S)的BCK—代数的半群特征。

关于余剩余格的一点注记

进一步研究了余剩余格的一些性质,并证明了余剩余格等价于具有条件(S)的BCK-格,最后基于余剩余格的形式给出了格蕴涵代数的一种等价刻画.所得结果将有助于深入了解余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径.