On weakening the Deduction Theorem and strengthening Modus Ponens

  1. Bou, F.
  2. Font, J.M.
  3. Lapresta, J.L.G.
Journal:
Mathematical Logic Quarterly

ISSN: 0942-5616

Year of publication: 2004

Volume: 50

Issue: 3

Pages: 303-324

Type: Article

DOI: 10.1002/MALQ.200410001 GOOGLE SCHOLAR