TitleOn weakening the Deduction Theorem and strengthening Modus Ponens
Publication TypeJournal Article
Year of Publication2004
AuthorsBou F, Font JMaria, Lapresta JLuis Garci
JournalMathematical Logic Quaterly
Volume50
Number3
Pagination303–324