正蕴涵BCK-代数相关硕士博士期刊学术论文 - 搜论网

正蕴涵BCK-代数相关论文

关于逻辑运算“→”和BCK运算“＊”

K.Iseki和S.Tanaka在文[1]中提出了正蕴涵BCK-代数的概念,以此研究了数理逻辑中逻辑运算"→"的若干性质,进而探讨了逻辑运算"→"与......

期刊

逻辑运算 BCK运算数理逻辑逻辑联结构正蕴涵BCK-代数代数运算 mathematical logic logical connective posit

看过本文同时还关注