粗伪代数论文

伪BCK代数与粗伪BCK代数及其滤子理论
论文摘要逻辑代数是计算机科学、信息科学、控制论与人工智能等许多领域推理机制的代数基础.伪BCK代数是著名逻辑代数BCK代数的非可换推广.研究伪BCK代数的各种不同类型的伪滤子可...