(Philosophy of) logic
Peer-reviewed papers in Journals
2023
The proof-theoretic square, in Synthese, https://doi.org/10.1007/s11229-023-04203-5
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
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)
Calculi of epistemic grounding based on Prawitz's theory of grounds, in Studia Logica, https://doi.org/10.1007/s11225-021-09979-6 (draft)
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 (draft)
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
2019
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)
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)
Monographs
2023
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
Peer-reviewed chapters in Books
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
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)
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 (draft)
Four constructivist attitudes in Prawitzian semantics, in I. Sedlar (ed), The LOGICA Yearbook 2022, College Publications (draft)
2022
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 (draft)
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)
Peer-reviewed papers in Proceedings
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)
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)
Editor
2024
Perspectives on deduction. Contemporary studies in the philosophy, history and formal theories of deduction, Synthese Library, Springer
2019
with G. Crocco, Inferences and proofs, special issue of TOPOI
Dissertations
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), Cesare Cozzo ("Sapienza" University of Rome - supervisor), Gabriella Crocco (University of Aix-Marseille - supervisor)