Lattice BCK logics with Modus Ponens as unique rule | Publicación