BCK代数相关论文
非经典逻辑是模糊推理及模糊控制等理论基础的一部分。近年来，模糊控制技术在应用方面取得了举世瞩目的成功．然而，作为其核心的模糊推......
梁希泉教授研究方向是微分拓扑学,他是我国数学、数学问题计算机证明等方面的专家,也是国际Mizar-Group的重要成员之一,近10年来,......
引进了BCK代数的一种新的扩张方法--极大元扩张法,使得其他扩张法,如拟交错扩张法、有界BCK代数的Iseki扩张,都是极大元扩张法的特......
