查找： 关键词为 BCK-algebra with condition(S) Commutative negatively partially ordered residual monoid 的文献