Research

MONOGRAPHS

• • Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine. CLUEB, 2020.

ARTICLES

• • Cut elimination for coherent theories in negation normal form, Archive for Mathematical Logic, 63, 427-445, 2024

  • The arithmetical dictum, History and Philosophy of Logic, 44, 373 - 394, 2023 (with R. Zanichelli)

  • Intuitionistic mereology II: overlap and disjointness, Journal of Philosophical Logic, 52, 1197-1233, 2023 (with A. C. Varzi)

  • Zeno of Sidon vindicatus: a mereological analysis of the bisection of the circle, Logic and Logical Philosophy, 34, 671 - 690, 2023

  • Hume on the monetary fallacy of monotonic counterfactuals. Axiomathes, 32, 593 - 606, 2022

  • La critica di Zenone di Sidone agli Elementi di Euclide: un dibattito antico sull'unicità, Rivista di filosofia, 113, 45 - 76, 2022

  • When philosophy (of science) meets formal methods: a citation analysis of early approaches between research fields, Synthese, 200 (177), 1 - 47, 2022 (with. G. Bonino, E. Petrovich and P. Tripodi)

  • Equality and apartness in bi-intuitionistic logic, Logical Investigations, 27, 82 - 106, 2021. (with L. Tranchini)

  • Intuitionistic mereology. Synthese, 198 (Suppl 18), 4277 - 4302, 2021. (with A. C. Varzi)

  • Logic in analytic philosophy: a quantitative analysis. Synthese, 198, 10991 - 11028 , 2021. (with G. Bonino and P. Tripodi)

  • La fallacia della composizione nelle dottrine economiche di Hume. In E. Montuschi and P. D. Omodeo, Ordinare il mondo: prospettive logiche ed epistemologiche su scienza, natura e società, pages 173 - 191, Armando, 2020.

  • Interpolation in extensions of first-order logic. Studia Logica, 108, 619 - 648, 2020. (with G. Gherardi and E. Orlandelli)

  • Bocheński’s formalization of Summa Theologiae (Ia,75,6) reconsidered. History and Philosophy of Logic, 40, 191 - 198, 2020.

  • Two quantitative researches in the history of philosophy: some down-to-earth and haphazard methodological reflections. Journal of Interdisciplinary History of Ideas, 8(16), 1 - 22, 2019. (with G. Bonino and P. Tripodi)

  • Full cut elimination and interpolation for intuitionistic logic with existence predicate. Bulletin of the Section of Logic, 48, 137 - 158, 2019. (with E. Orlandelli)

  • An intuitionistic logic for preference relations. Logic Journal of the IGPL, 27, 434 - 450, 2019. (with A. Naibo)

  • Sulla coerenza della teoria humiana della moneta. Rivista di filosofia, 110, 83 - 106, 2019.

  • Sequents for non-wellfounded mereology. Logic and Logical Philosophy, 25, 351 - 369, 2016. 

  • Analytic rules for mereology. Studia Logica, 104, 79 - 114, 2016.

  • Modular sequent calculi for classical modal logics. Studia Logica, 103, 175 - 217, 2015. (with D. Gilbert)

  • Proof theory of epistemic logic of programs. Logic and Logical Philosophy, 23, 301 - 328, 2014. (with A. Naibo)

  • Hypersquent and labelled calculi for intermediate logics. In D. Galmiche and D. Larchey-Wendling, editors, Automated Reasoning with Analytic Tableaux and Related Methods, volume 8123 of Lecture Notes in Computer Science, 81 - 96, Springer, 2013. (with A. Ciabattoni and L. Spendier)

• • The Church-Fitch knowability paradox in the light of structural proof theory. Synthese, 190, 2677 - 2716, 2013. (with A. Naibo and S. Negri)

  • A proof-theoretical perspective on public announcements logic. Logic and Philosophy of Science, 9, 49 - 59, 2011. (with S. Negri)