格蕴含代数与有界交换BCK—代数

证明了格蕴含代数与有界交换BCK—代数是两类等价的抽象系统，因而是范畴等价的。