MONOGRAPHS
ARTICLES
Aristotle on conversions in APr. II.22, Elenchos, to appear
Proof theory for tight apartness, Studia Logica, published online, 1-17, 2025
Proof theory for intuitionistic stable theories, Logic and Logical Philosophy, published on line, 1-19, 2025
Un'ipotesi sulla teoria monetaria di Locke, Rivista di filosofia, 115, 453-478, 2024
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, 32, 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 (eds), 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
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 (eds) 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)