2025
Some results in non-monotonic proof-theoretic semantics, in Studia Logica, https://doi.org/10.1007/s11225-025-10195-9 [article in journal]
Realism and anti-realism. Paradigms and research programmes in logic and the philosophy of mathematics, Book of Abstracts from the Workshop with the same name held in Tübingen on April 28th-29th 2025, http://dx.doi.org/10.15496/publikation-108520 [editorship]
Intensionality of consequence and identity of proofs in Prawitz's Theory of Grounds, in Logica Universalis, https://doi.org/10.1007/s11787-025-00370-w [article in journal]
Convenzione, regole e significato: uno squeezing argument kreiseliano per la semantica di Prawitz, in F. Sterpetti and F. Verde (eds), Natura, convenzione, istituzione, Lithos [chapter in volume]
A note on a Kuhnian-Lakatosian reading of the debate between realism and constructivism in logic, in Isonomia [article in journal]
with D. Catta, Informal and absolute provability: from Kreisel and Gödel to Prawitz and Girard, in Philosophical Inquiries, https://doi.org/10.4454/philinq.v13i1.484 [article in journal]
2024
A note on schematic validity and completeness in Prawitz's semantics, in F. Bianchini, V. Fano and P. Graziani (eds), Current topics in logic and the philosophy of science. Papers from SILFS 2022 postgraduate conference, College Publications (https://arxiv.org/abs/2501.10135) [chapter in volume]
Perspectives on deduction. Contemporary studies in the philosophy, history and formal theories of deduction, Synthese Library, Springer, https://doi.org/10.1007/978-3-031-51406-7 [editorship]
Deduction at the crossroads, in A. Piccolomini d'Aragona (ed), Perspectives on deduction. Contemporary studies in the philosophy, history and formal theories of deduction, Synthese Library, Springer, https://doi.org/10.1007/978-3-031-51406-7_1 (draft) [chapter in volume]
Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics, in A. Klev (ed), The architecture and archaeology of modern logic. Studies dedicated to Göran Sundholm, Springer, https://doi.org/10.1007/978-3-031-52411-0_6, (draft) [chapter in volume]
Four constructivist attitudes in Prawitzian semantics, in I. Sedlar (ed), The LOGICA Yearbook 2022, College Publications (draft) [chapter in volume]
2023
The proof-theoretic square, in Synthese, https://doi.org/10.1007/s11229-023-04203-5 [article in journal]
Prawitz's epistemic grounding. An investigation into the power of deduction, Synthese Library, Springer, ISBN 978-3-031-20293-3, https://doi.org/10.1007/978-3-031-20294-0 [monograph]
2022
A note on Etchemendy's and Prawitz's reduction principles for the Tarskian and model-theoretic concept of consequence, in Theoria. A Swedish journal of philosophy, https://doi.org/10.1111/theo.12430 [article in journal]
with F. Montesi, Prawitz's semantics and Walton's argument schemes: a tentative reading and application of Kreisel's informal rigour, in P. Cantù, B. Halimi, G. Heinzmann, F. Patras (eds), Objectivity in mathematics, Noesis, 38, https://doi.org/10.4000/11xm6 (draft) [article in journal]
with D. Catta, Game of grounds, in G. Oliveri, S. Boscolo and C. Ternullo (eds), Objects, structures and logics, Boston studies in the philosophy and history of science, Springer, https://doi.org/10.1007/978-3-030-84706-7_10 (https://arxiv.org/abs/2502.17511) [chapter in volume]
Calculi of epistemic grounding based on Prawitz's theory of grounds, in Studia Logica, https://doi.org/10.1007/s11225-021-09979-6 (https://arxiv.org/abs/2501.10490) [article in journal]
2021
Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds, in Studia Logica, https://doi.org/10.1007/s11225-021-09969-8 (https://arxiv.org/abs/2501.10491) [article in journal]
Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics, in Journal of philosophical logic, https://doi.org/10.1007/s10992-021-09621-9 [article in journal]
2019
Dag Prawitz's theory of grounds, Aix-Marseille University, "Sapienza" University of Rome, HAL Id : tel-02482320, version 1 (available here) - Board: Enrico Moriconi (University of Pisa - reviewer), Peter Schroeder-Heister (University of Tübingen - reviewer), Myriam Quatrini (University of Aix-Marseille - examiner), Göran Sundholm (University of Leiden - examiner), Luca Tranchini (University of Tübingen - examiner), Gabriele Usberti (University of Siena, external examiner), Cesare Cozzo ("Sapienza" University of Rome - supervisor), Gabriella Crocco (University of Aix-Marseille - supervisor) [dissertation]
with G. Crocco, Inferences and proofs, special issue of TOPOI [editorship]
with G. Crocco, Introduction: Inferences and proofs, in G. Crocco and A. Piccolomini d'Aragona (eds), Inferences and proofs, special issue of TOPOI, https://doi.org/10.1007/s11245-018-9559-z (available here) [article in journal]
Dag Prawitz on proofs, operations and grounding, in G. Crocco and A. Piccolomini d'Aragona (eds), Inferences and proofs, special issue of TOPOI, https://doi.org/10.1007/s11245-017-9473-9 (draft) [article in journal]
2018
A partial calculus for Dag Prawitz's theory of grounds and a decidability issue, in A. Christian, D. Hommen, N. Retzlaff and G. Schurz (eds), Philosophy of science - Between natural science, social science and the humanities, European studies in philosophy of science 9, Springer, https://doi.org/10.1007/978-3-319-72577-2_13 (draft) [chapter in volume]
2016
Riconoscibilità nelle semantiche di Dag Prawitz, in M. Cruciani et al. (eds), Apprendimento, Cognizione e Tecnologia. Atti del convegno AISC Mid-term 2016, ISBN-9788890453984, Università degli Studi di Napoli Federico II, Napoli (draft) [peer-reviewed paper in proceedings]
Recognition procedures and Dag Prawitz's theory of grounds, in M. Carrara, D. Chiffi and C. De Florio (eds), How to way "Yes" and "No". Logical approaches to modes of assertion and denial, ISBN-9781326516925, Lulu Press, Inc. (available here) [peer-reviewed paper in proceedings]