正关联BCK代数相关论文