有界可换BCK-代数相关论文