On weakening the Deduction Theorem and strengthening Modus Ponens
- Bou, F.
- Font, J.M.
- Lapresta, J.L.G.
ISSN: 0942-5616
Datum der Publikation: 2004
Ausgabe: 50
Nummer: 3
Seiten: 303-324
Art: Artikel
Zeitschrift:
Mathematical Logic Quarterly