Algebras of Logic as BCK Algebras