Handbook of tableau methods M D'Agostino Kluwer Academic Publishers, 1999 | 400* | 1999 |
The taming of the cut. Classical refutations with analytic cut MD AGOSTINO, M Mondadori Journal of Logic and Computation 4 (3), 285-318, 1994 | 277 | 1994 |
Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence M d'Agostino Journal of Logic, Language and Information 1, 235-252, 1992 | 150 | 1992 |
Tableau methods for classical propositional logic M d’Agostino Handbook of tableau methods, 45-123, 1999 | 118 | 1999 |
The enduring scandal of deduction: Is propositional logic really uninformative? M D’agostino, L Floridi Synthese 167, 271-315, 2009 | 109 | 2009 |
A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics M D'Agostino, DM Gabbay Journal of Automated Reasoning 13, 243-281, 1994 | 109 | 1994 |
What’s so special about Euclidean distance? M D’Agostino, V Dardanoni Social Choice and Welfare 33 (2), 211-233, 2009 | 85 | 2009 |
Investigations into the complexity of some propositional calculi M D'Agostino Oxford University. Computing Laboratory. Programming Research Group, 1990 | 85 | 1990 |
La metodologia dei programmi di ricerca scientifici I Lakatos, J Worrall, G Currie, G Giorello, M D'Agostino Il saggiatore, 1985 | 82 | 1985 |
The measurement of rank mobility M D'Agostino, V Dardanoni Journal of Economic Theory 144 (4), 1783-1803, 2009 | 80 | 2009 |
Semantics and proof-theory of depth bounded Boolean logics M D’Agostino, M Finger, D Gabbay Theoretical Computer Science 480, 43-68, 2013 | 55 | 2013 |
An informational view of classical logic M D'Agostino Theoretical Computer Science 606, 79-97, 2015 | 46 | 2015 |
Labelled Deduction, volume 17 of Applied Logic Series D Basin, M D’Agostino, DM Gabbay, S Matthews, L Vigano Kluwer Academic Publishers, Dordrecht, 2000 | 42* | 2000 |
Analytic inference and the informational meaning of the logical operators M d'Agostino Logique et Analyse, 407-437, 2014 | 38 | 2014 |
Classical logic, argument and dialectic M D'Agostino, S Modgil Artificial Intelligence 262, 15-51, 2018 | 34 | 2018 |
La mente di Dio: il senso della nostra vita nell'universo P Davies, M D'Agostino, A Gulotta Mondadori, 1993 | 34 | 1993 |
Classical natural deduction M D’Agostino We will show them! 1, 429-468, 2005 | 32 | 2005 |
Grafting modalities onto substructural implication systems M D'agostino, DM Gabbay, A Russo Studia Logica 59, 65-102, 1997 | 32 | 1997 |
Zsyntax: a formal language for molecular biology with projected applications in text mining and biological prediction G Boniolo, M D'Agostino, PP Di Fiore PloS one 5 (3), e9511, 2010 | 30 | 2010 |
Tableau methods for substructural logics M D’Agostino, D Gabbay, K Broda Handbook of tableau methods, 397-467, 1999 | 30 | 1999 |