摘要
K .Iseki和S .Tanaka在文 [1]中提出了正蕴涵BCK 代数的概念 ,以此研究了数理逻辑中逻辑运算“→”的若干性质 ,进而探讨了逻辑运算“→”与BCK 代数中运算“ ”之间的关系。
The notion of positive implicative BCK algebras was introduced by K.Iseki a nd S .Tanaka.In this note,some properties of the logic operation '→'are discussed. Moreover,the relation of the operation '→'to BCK operation '' is stud ied.
出处
《南阳师范学院学报》
CAS
2002年第6期19-20,35,共3页
Journal of Nanyang Normal University
