| 2009 |
|---|
| 10 | EE | Marcello D'Agostino,
Luciano Floridi:
The enduring scandal of deduction.
Synthese 167(2): 271-315 (2009) |
| 2005 |
|---|
| 9 | | Marcello D'Agostino:
Classical Natural Deduction.
We Will Show Them! (1) 2005: 429-468 |
| 1998 |
|---|
| 8 | EE | Marcello D'Agostino,
Marco Mondadori,
Ulrich Endriss,
Dov M. Gabbay,
Jeremy Pitt:
WinKE: A Pedagogical Tool for Teaching Logic and Reasoning.
Intelligent Tutoring Systems 1998: 605 |
| 1997 |
|---|
| 7 | | Marcello D'Agostino,
Dov M. Gabbay,
Alessandra Russo:
Grafting Modalities onto Substructural Implication Systems.
Studia Logica 59(1): 65-102 (1997) |
| 1996 |
|---|
| 6 | | Marcello D'Agostino,
Dov M. Gabbay:
Fibred Tableaux for Multi-Implication Logic.
TABLEAUX 1996: 16-35 |
| 1995 |
|---|
| 5 | EE | Krysia Broda,
Marcello D'Agostino,
Rajeev Goré,
Rob Johnson,
Steve Reeves:
Editorial.
Logic Journal of the IGPL 3(6): 826 (1995) |
| 1994 |
|---|
| 4 | | Marcello D'Agostino,
Dov M. Gabbay:
A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics.
J. Autom. Reasoning 13(2): 243-281 (1994) |
| 3 | | Marcello D'Agostino,
Marco Mondadori:
The Taming of the Cut. Classical Refutations with Analytic Cut.
J. Log. Comput. 4(3): 285-319 (1994) |
| 1992 |
|---|
| 2 | | Marcello D'Agostino,
Marco Mondadori:
An Improvement of Analytic Tableaux.
TABLEAUX 1992: 1-3 |
| 1 | | Jim Cunningham,
Marcello D'Agostino,
Jeremy V. Pitt:
Towards Tableau Theorem-Proving with Analytic Cut.
TABLEAUX 1992: 23-25 |
