正蕴涵BCK-代数相关论文
给出了弱可结合的定义,从映射角度得到了BCK-代数是正蕴涵的等价条件,讨论了具有条件(S)的正蕴涵BCK-代数同构于所有右乘映射的集......
K.Iseki和S.Tanaka在文[1]中提出了正蕴涵BCK-代数的概念,以此研究了数理逻辑中逻辑运算"→"的若干性质,进而探讨了逻辑运算"→"与......
本文讨论了正蕴涵节BCK-代数的乘余刻划。证明了具有条件(S)的正蕴涵BCK-代数的伴随半群是一个下半格。......
从剩余半群的角度,探讨了正蕴涵BCK-代数的伴随半群的若干重要特征,给出了BCK-代数是正蕴涵的等价条件。......