On weakening the Deduction Theorem and strengthening Modus Ponens

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

ISSN: 0942-5616

Argitalpen urtea: 2004

Alea: 50

Zenbakia: 3

Orrialdeak: 303-324

Mota: Artikulua

DOI: 10.1002/MALQ.200410001 GOOGLE SCHOLAR