Follow
Marcello D'Agostino
Marcello D'Agostino
Department of Philosophy, University of Milan
Verified email at unimi.it - Homepage
Title
Cited by
Cited by
Year
Handbook of tableau methods
M D'Agostino
Kluwer Academic Publishers, 1999
392*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
2771994
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
1521992
Tableau methods for classical propositional logic
M d’Agostino
Handbook of tableau methods, 45-123, 1999
1181999
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
1101994
The enduring scandal of deduction: Is propositional logic really uninformative?
M D’agostino, L Floridi
Synthese 167, 271-315, 2009
1082009
Investigations into the Complexity of some Propositional Calculi
M D'Agostino
Oxford University. Computing Laboratory. Programming Research Group, 1990
851990
La metodologia dei programmi di ricerca scientifici
I Lakatos, J Worrall, G Currie, G Giorello, M D'Agostino
Il saggiatore, 1985
851985
What’s so special about Euclidean distance?
M D’Agostino, V Dardanoni
Social Choice and Welfare 33 (2), 211-233, 2009
842009
The measurement of rank mobility
M D'Agostino, V Dardanoni
Journal of Economic Theory 144 (4), 1783-1803, 2009
782009
Semantics and proof-theory of depth bounded boolean logics
M D’Agostino, M Finger, D Gabbay
Theoretical Computer Science 480, 43-68, 2013
532013
An informational view of classical logic
M D'Agostino
Theoretical Computer Science 606, 79-97, 2015
452015
Labelled Deduction, volume 17 of Applied Logic Series
D Basin, M D’Agostino, DM Gabbay, S Matthews, L Vigano
Kluwer Academic Publishers, Dordrecht, 2000
41*2000
Analytic inference and the informational meaning of the logical operators
M d'Agostino
Logique et Analyse, 407-437, 2014
382014
Classical logic, argument and dialectic
M D'Agostino, S Modgil
Artificial Intelligence 262, 15-51, 2018
342018
Classical natural deduction
M D’Agostino
We will show them! 1, 429-468, 2005
322005
La mente di Dio: il senso della nostra vita nell'universo
P Davies, M D'Agostino, A Gulotta
Mondadori, 1993
321993
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
312010
Tableau methods for substructural logics
M D’Agostino, D Gabbay, K Broda
Handbook of tableau methods, 397-467, 1999
311999
Grafting modalities onto substructural implication systems
M D'agostino, DM Gabbay, A Russo
Studia Logica 59, 65-102, 1997
311997
The system can't perform the operation now. Try again later.
Articles 1–20