Algebraization of the Three-valued BCK-logic | Publicación