Publications

On weakening the Deduction Theorem and strengthening Modus Ponens

Publication Type:

Journal Article

Source:

Mathematical Logic Quaterly, Volume 50, Number 3, p.303--324 (2004)