Equivalent  relations between BCK-algebras and posets with
difference, and relations among bounded commutative
BCK-algebras, difference posets, MV-algebras, quantum
MV-algebras and orthoalgebras, respectively, are studied.
