On weakening the Deduction Theorem and strengthening Modus Ponens

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

ISSN: 0942-5616

Año de publicación: 2004

Volumen: 50

Número: 3

Páginas: 303-324

Tipo: Artículo

DOI: 10.1002/MALQ.200410001 GOOGLE SCHOLAR