Marcello D'Agostino

Bibliography

Broda, Krysia, D’Agostino, Marcello and Russo, Alessandra. 1999. “Transformation Methods in LDS.” in Logic, Language and Reasoning: Essays in Honour of Dov Gabbay, edited by Hans Jürgen Ohlbach and Uwe Reyle, pp. 335–376. Dordrecht: Kluwer Academic Publishers.
D’Agostino, Marcello. 1992. “Are Tableaux an Improvement on Truth-Tables? Cut-Free Proofs and Bivalence.” Journal of Logic, Language, and Information 1(3): 235–252.
D’Agostino, Marcello. 1999. “Tableau Methods for Classical Propositional Logic.” in Handbook of Tableau Methods, edited by Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, pp. 45–124. Berlin: Springer.
D’Agostino, Marcello. 2014. “Analytic Inference and the Informational Meaning of the Logical Operators.” Logique et Analyse 57(227): 407–437.
D’Agostino, Marcello. 2016. “The Philosophy of Mathematical Information.” in The Routledge Handbook of Philosophy of Information, edited by Luciano Floridi, pp. 164–179. Routledge Handbooks in Philosophy. London: Routledge.
D’Agostino, Marcello, Gabbay, Dov M. and Broda, Krysia. 1999. “Tableau Methods for Substructural Logics.” in Handbook of Tableau Methods, edited by Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, pp. 397–468. Berlin: Springer.
D’Agostino, Marcello, Gabbay, Dov M., Hähnle, Reiner and Posegga, Joachim, eds. 1999. Handbook of Tableau Methods. Berlin: Springer.
D’Agostino, Marcello, Gabbay, Dov M. and Russo, Alessandra. 1997. “Grafting Modalities onto Substructural Implication Systems.” Studia Logica: An International Journal for Symbolic Logic 59(1): 65–102.
D’Agostino, Marcello, Giorello, Giulio, Laudisa, Federico, Pievani, Telmo and Sinigaglia, Corrado, eds. 2010. Atti del Convegno “New Essays in Logic and Philosophy of Science,” Milano 8-10 ottobre 2007. London: College Publications.