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
333*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
2471994
Are tableaux an improvement on truth-tables?
M d'Agostino
Journal of Logic, Language and Information 1 (3), 235-252, 1992
1381992
A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics
M D'Agostino, DM Gabbay
Journal of Automated Reasoning 13 (2), 243-281, 1994
1071994
Tableau methods for classical propositional logic
M d’Agostino
Handbook of tableau methods, 45-123, 1999
931999
The enduring scandal of deduction
M D’agostino, L Floridi
Synthese 167 (2), 271-315, 2009
772009
Algorithmic decision-making based on machine learning from Big Data: Can transparency restore accountability?
PB De Laat
Philosophy & technology 31 (4), 525-541, 2018
752018
La metodologia dei programmi di ricerca scientifici
I Lakatos, J Worrall, G Currie, G Giorello, M D'Agostino
Il saggiatore, 1985
711985
Investigations into the complexity of some propositional calculi
M D'Agostino
Oxford University Computing Laboratory, 1990
661990
The measurement of rank mobility
M D'Agostino, V Dardanoni
Journal of Economic Theory 144 (4), 1783-1803, 2009
612009
What’s so special about Euclidean distance?
M D’Agostino, V Dardanoni
Social Choice and Welfare 33 (2), 211-233, 2009
532009
Labelled Deduction, volume 17 of Applied Logic Series
D Basin, M D’Agostino, DM Gabbay, S Matthews, L Vigano
Kluwer Academic Publishers, Dordrecht, 2000
53*2000
Semantics and proof-theory of depth bounded Boolean logics
M D’Agostino, M Finger, D Gabbay
Theoretical Computer Science 480, 43-68, 2013
322013
Grafting modalities onto substructural implication systems
M D'agostino, DM Gabbay, A Russo
Studia Logica 59 (1), 65-102, 1997
271997
Logica
M Mondadori, M D'Agostino
Edizioni Scolastiche Bruno Mondadori, Milano, 1997
26*1997
La mente di Dio: il senso della nostra vita nell'universo
P Davies, M D'Agostino, A Gulotta
Mondadori, 1993
261993
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
252010
Classical natural deduction
M D’Agostino
We will show them! 1, 429-468, 2005
242005
Analytic inference and the informational meaning of the logical operators
M d'Agostino
Logique et Analyse, 407-437, 2014
232014
Tableau methods for substructural logics
M D’Agostino, D Gabbay, K Broda
Handbook of Tableau Methods, 397-467, 1999
221999
The system can't perform the operation now. Try again later.
Articles 1–20