research

I'm a philosopher with wide-ranging interests, which I would rank in descending but unstable order as follows : logical methods in philosophy, proof-theory and its applications, computation theory, the philosophy of logic and mathematics, epistemology, and ancient philosophy (with a particular focus on Plato).

I have published my research in many academic journals, including:

• The Journal of Symbolic Logic, The Review of Symbolic Logic, Journal of Logic and Computation, Mathematical Structures in Computer Science, Journal of Logic Language and Information, Journal of Philosophical Logic, Journal of Applied Logic, The Logic Journal of IGPL, Bulletin of the Section of Logic, Synthese, Erkenntnis, European Journal for Philosophy of Science, Foundations of Science, The Cambridge Classical Journal. 

Selected publications (since 2012)

(You can follow my previous work on ResearchGate)

Proof theory and its applications

• Logical reasoning in social settings (edited with M. Tesi and P. Vigiani ), Edizioni della Normale,  in preparation.

• Hypersequent calculi  for propositional default logics (with A. Sabatini), submitted, 2024.

• Inside classical logic: truth, contradictions, fractionality (with M. Tesi), submitted, 2024.

• Exception and typicality, logically framed (with M. Tesi),  submitted, 2024.

• Venn diagrams for belief change (with R. Bhattacharjee), draft, 2023.

• Analyticity with extra-logical information (with M. Tesi), Journal of Logic and Computation, Oxford University Press, 2024 , pp. 1-31..

• Abduction as deductive saturation: a proof-theoretic inquiry (with G. Pulcini and A. Sabatini), Journal of Philosophical Logic, 52 (6), Springer, 2023, pp. 1575–1602. 

• Linear logic in a refutational setting (with G. Pulcini and M. Tesi), Journal of Logic and Computation, Oxford University Press, 2023, pp. 1-25.

• Non-contractive logics, paradoxes, and multiplicative quantifiers (with C. Nicolai and M. Tesi), The Review of Symbolic Logic, Cambridge University Press, 2023, pp. 1-22.

• Fractional-valued modal logic and soft bilateralism (with G. Pulcini and M. Tesi), Bulletin of the Section of Logic, (52/3),  2023, pp. 275–299.

• Chrysippus’ logic in a natural deduction setting (with M. D’Agostino), in F. Ademollo, F. Amerini, V. De Risi (Eds.), Thinking and Calculating. Essays on Logic, its History and its Applications, Springer, 2022, pp. 83-99.

• On the number of provable formulas (with M. Pedicini, Q.W.Q. Puite), in L. Bellotti, G. Turbanti (eds), Fourth Pisa Colloquium in Logic, Language and Epistemology. Essays in Honour of E. Moriconi, Edizioni ETS, 2021, pp. 145-166.

• Fractional-valued modal logic (with G. Pulcini, M. Tesi), The Review of Symbolic Logic, Cambridge University Press, 2021, pp. 1-20. 

• Molecular biology meets logic. Context-sensitiveness in focus (with G. Boniolo, M. D’Agostino, G. Pulcini), Foundations of Science, Springer, 2021. 

• Fractional semantics for classical logic (with G. Pulcini), The Review of Symbolic Logic, 13 (4) Cambridge University Press, 2020, pp. 810-828. 

• Unifying logics via context-sensitiveness (with G. Pulcini), Journal of Logic and Computation, 27 (1), Oxford University Press, 2017, pp. 21-40. 

• Uniqueness of axiomatic extensions of cut-free classical propositional logic (with G. Pulcini), The Logic Journal of IGPL, 24(5), Oxford University Press, 2016, pp. 708-718. 

• How to go nonmonotonic through context-sensitiveness (with M. D’Agostino, G. Pulcini), L&PS- Logic and Philosophy of Science, 13 (1), 2015, pp. 3-27.

• Adding logic to the toolbox of molecular biology (with G. Boniolo, M. D’Agostino, G. Pulcini), European Journal for Philosophy of Science, 5 (3), Springer, 2015, pp. 399-417. 

• A logical calculus for controlled monotonicity (with M. D’Agostino, G. Pulcini), Journal of Applied Logic, 12 (4), Elsevier, 2014, pp. 558-569.

• A logic of non-monotonic interactions (with G. Boniolo, M. D’Agostino, G. Pulcini), Journal of Applied Logic, 11 (1), Elsevier, 2013, pp. 52-62. 

Computation theory

• Optimal reduction for non-deterministic lambda calculus (with M. Pedicini), draft.

• Abstract machines, optimal reduction, and streams (with A. Lai, M. Pedicini), Mathematical Structures in Computer Science, 29(9), Cambridge University Press, 2019, pp. 1379-1410. 

• Kalmar elementary complexity and von Neumann Algebras (with M. Pedicini), PanAmerican Mathematical Journal, 28 (4), 2018, pp. 1-28. 

• Sequential and Parallel Abstract Machines for optimal reduction (with M. Pedicini, G. Pellitta), Proceedings of the 15th Symposium on Trends in Functional Programming (TFP2014).

Philosophy of logic and mathematics

• A Reflection Principle for Kripke-Feferman Truth (with M. Fischer and C. Nicolai), submitted.

• The implicit commitment of arithmetical theories and its semantic core (with C. Nicolai), Erkenntnis, 84 (4), Springer, 2019, pp. 913–937.

• Truth, Existence and Explanation (ed. with G. Pulcini), Boston Studies in the Philosophy of Science, Springer, 2018.

• Regole logiche e razionalità umana, in M. Dell'Utri, A. Rainone (eds.), Modelli filosofici della razionalità, Mimesis, 2016, pp. 11-28.

• What is so special about the Gödel sentence G? (with G. Pulcini), in F. Boccuni F. and A. Sereni (eds.), Philosophy of Mathematics: Objectivity, Cognition and Proof, Boston Studies in the Philosophy and History of Science, Springer, 2016, pp. 245-263. 

• A Deflationary Account of the Truth of the Gödel Sentence G (with G. Pulcini), in G. Lolli et al. (eds.), From Logic to Practice. Boston Studies in the Philosophy and History of Science, Springer, 2015, pp. 71-90.

• Strange Case of Dr. Soundness and Mr. Consistency (with G. Pulcini), in V. Punc̆ochár̆, M. Danc̆ák (eds.), The Logica Yearbook 2013, College Publications, London, 2014, pp. 161-172.

• La logica e i fondamenti della matematica tra Ottocento e Novecento in Il contributo italiano alla storia del pensiero. Scienze. Ottava appendice, Istituto dell’Enciclopedia italiana, Roma, 2012, pp. 476-488.

Epistemology

• What Arrow's information paradox says (to philosophers) (with M. Pedicini), in V. d’Alfonso and D. Berkich, On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence, Springer, 2019, pp. 83-94.

• Possibilities regained: neo-Lewisian contextualism and ordinary life (with N. Dolcini), Synthese, Springer, Online November 2015.

Ancient philosophy

• Platone e la comprensione matematica, in G. Lolli (a cura di), L'Arte di Pensare. Matematica e Filosofia, Utet, 2020, pp. 40-61.

• Plato and the dice. A reassessment of Theaetetus 154a-155d, The Cambridge Classical Journal, 58, Cambridge University Press, 2012, pp. 231-256.

• Platone e la confutazione, in R. Chiaradonna (ed.), Il Platonismo e le scienze, Carocci, Roma, 2012, pp. 25-43.