On weakening the Deduction Theorem and strengthening Modus Ponens | Publicación