可换BCK代数相关论文