Authored Volumes
• Harmony and Paradox: Intensional aspects of proof-theoretic semantics, Trends in Logic n. 62, Springer, 2024.
• Proof and Truth: An anti-realist perspective, ETS, Pisa, 2013.
Edited Volumes
• Anti-Realistic Notions of Truth, special issue of Topoi 31(1), Springer, 2012.
Articles in International Journals
17. “Higher-level inferences in the Strong-Kleene setting: A proof-theoretic approach" (with Pablo Cobreros and Elio La Rosa)
Journal of Philosophical Logic, 51:1417–1452, 2022. DOI: 10.1007/s10992-021-09639-z
[Special Issue Substructural Logics and Metainferences, guest edited by Eduardo Barrio and Paul Egré]
16. “The naturality of natural deduction (II): On atomic polymorphism and generalized propositional connectives" (with Paolo Pistone and Mattia Petrolo)
Studia Logica, 110:545–592, 2022. DOI: 10.1007/s11225-021-09964-z
15. “How to Ekman a Crabbé-Tennant" (with Peter Schroeder-Heister)
Synthese, 199:617–639, 2021. DOI: 10.1007/s11229-018-02018-3
[Special Issue Substructural approaches to paradoxes, guest edited by Elia Zardini]
14. “Equality and apartness in bi-intuitionistic logic" (with Paolo Maffezioli)
Logical Investigations, 27(1):82-106, 2021.
[Special Issue Negation, guest edited by Grigory Olkhovikov, Hitoshi Omori and Heinrich Wansing]
13. “(I can’t get no) Antisatisfaction" (with Pablo Cobreros and Elio La Rosa)
Synthese, 198:8251–8265 (2021). DOI: 10.1007/s11229-020-02570-x
12. “Proof-theoretic harmony: Towards an intensional account"
Synthese, 198(Suppl 5):1145–1176, 2021. DOI: 10.1007%2Fs11229-016-1200-3
[Special Issue Intensionality in Mathematics, guest edited by Marianna Antonutti Marfori and Paola Quinon]
11. “Proof, meaning and paradox. Some remarks"
Topoi, 38(3):591–603, 2019. DOI: 10.1007/s11245-018-9552-6
[Special Issue Inferences and Proofs, guest edited by Gabriella Crocco and Antonio Piccolomini d'Aragona]
10. “The naturality of natural deduction" (with Mattia Petrolo and Paolo Pistone)
Studia Logica 107(1):195-231, 2019. DOI: 10.1007/s11225-017-9772-6
[Special Issue General Proof Theory, guest edited by Thomas Piecha and Peter Schroeder-Heister]
9. “Stabilizing quantum disjunction"
Journal of Philosophical Logic 47(6):1029-1047, 2018. DOI: 10.1007%2Fs10992-018-9460-7
8. “Natural deduction for bi-intuitionistic logic"
Journal of Applied Logic 25:S72-S96, 2017. DOI: 10.1016/j.jal.2017.12.001
[Special Issue Logical Investigations on Assertion and Denial
guest edited by Massimiliano Carrara, Daniele Chiffi and Ciro de Florio]
7. “Ekman's paradox" (with Peter Schroeder-Heister)
Notre Dame Journal of Formal Logic, 58(4):567-581, 2017. DOI: 10.1215/00294527-2017-0017 ]
6. “Proof analysis of global consequence" (with Pablo Cobreros)
Logique et Analyse 60(239):355-373, 2017
[Special Issue How to say ``Yes'' or ``No''
guest edited by Filip Buekens, Massimiliano Carrara, Daniele Chiffi and Ciro de Florio]
5. “Proof-theoretic semantics, paradoxes and the distinction between sense and denotation"
Journal of Logic and Computation, 26(2):495-512, 2016. DOI:10.1093/logcom/exu028
[Special Issue Computational Logic — in Honour of Roy Dyckhoff guest edited by Didier Galmiche and Stéphane Graham-Lengrand]
4. “Harmonising harmony"
The Review of Symbolic Logic 8(3):411-423, 2015. DOI: 10.1017/S1755020315000179
3. “Supervaluationism: Truth, Value and Degree Functionality" (with Pablo Cobreros)
Thought 3(2):132-144, 2014. DOI:10.1002/tht3.121
2. “Truth from a proof-theoretic perspective"
Topoi 31(1):47-57, 2012. DOI:10.1007/s11245-012-9121-3
[Special Issue Anti-realistic notions of truth, guest edited by myself]
1. “Natural deduction for dual-intuitionistic logic"
Studia Logica 100(3):631-648, 2012. DOI:10.1007/s11225-012-9417-8
Book Chapters/Articles in Proceedings
• (with Alberto Naibo) “Judgmental and definitional equality from a Fregean perspective“, in A. Klev (ed.), The Architecture and Archaeology of Modern Logic, Logic, Epistemology, and the Unity of Science n. 61, Springer, 2024.
• (with Paolo Pistone) “Intensional harmony as isomorphism“, in T. Piecha and K. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics, Outstanding Contributions to Logic n. 29, Springer, 2024. DOI: 10.1007/978-3-031-50981-0_10.
• (with Paolo Pistone) “What’s Decidable about (Atomic) Polymorphism?“, in In N. Ko-
bayashi (ed.), FSCD 2021: Fifth International Conference on Formal Structures for Computation and Deduction, Leibniz International Proceedings in Informatics (LIPIcs) n. 195, Dagstuhl: Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2021. DOI: 10.4230/LIPIcs.FSCD.2021.27
• (with Paolo Pistone) “The Yoneda reduction of polymorphic types“, in C. Baier and J. Goubault-Larrecq (eds.), 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), Leibniz International Proceedings in Informatics (LIPIcs) n. 183, Dagstuhl: Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2021. DOI: 10.4230/LIPIcs.CSL.2021.35
• “Negation“, in F. Poggiolesi and P. Wagner (eds.), Précis de philosophie de la logique, Editions de la Sorbonne, Paris, 2021, pp. 253–301.
• (with Pablo Cobreros) “Supervaluationism, Subvaluationism and the Sorites Paradox", in Sergi Oms and Elia Zardini (eds.), The Sorites Paradox, 2019, pp. 38-62;
• (with Michael Arndt) “A constructive view of the square of oppositions", in Jean-Yves Béziau, Stamatios Gerogiorgakis (eds.), New Dimensions of the Square of Oppositions, Lehmanns, Berlin, 2017, pp. 241-274.
• “Paradox and inconsistency: Revisiting Tennant's distinction via Schroeder-Heister's higher-level rules", in Gabriele Lolli, Marco Panza and Giorgio Venturi (eds.), Philosophy of Mathematics: From Logic to Practice, Boston Studies in Philosophy of Science, Volume 308, Springer, 2015, pp. 111-121. DOI : 10.1007/978-3-319-10434-8_7. (Penultimate version: PDF)
• “Harmony and rule equivalence”, in Enrico Moriconi and Laura Tesconi (eds.), in Second Pisa Colloquium in Logic, Language and Epistemology, ETS, Pisa, 2014, pp. 288-299. (Penultimate version: PDF)
• (with Michael Arndt) “Emptiness and discharge in sequent calculus and natural deduction", in Roberto Ciuni, Heinrich Wansing and Caroline Semmling, Recent Trends in Philosophical Logic, Volume 41 of Trends in Logic, Springer, 2014, pp. 13-29. DOI: 10.1007/978-3-319-06080-4_2.
• “An analogy in Dummett’s views on truth- and proof-conditional meaning theories", in Vit Puncochar and Petr Svarny (eds.), The Logica Yearbook 2012, College Publications, London, 2013, pp. 273-288. (Penultimate version: PDF)
• “Refutation: a proof-theoretic account", in C. Marletti (ed.), First Pisa Colloquium in Logic, Language and Epistemology, ETS, Pisa 2010, pp. 133-150. (Penultimate version: PDF)
• “Truth: an anti-realist adequacy condition", in Piotr Stalmaszczyk (ed.), Philosophy of Language and Linguistics, Volume I: The Formal Turn, Ontos Verlag, Heusenstamm bei Frankfurt, 2010, pp. 347-362. (Penultimate version: PDF)
• “The role of negation in proof-theoretic semantics: a proposal”, in M. Peliš (ed.), The Logica Yearbook 2008, College Publications, London, 2009, pp. 273-288. (Penultimate version: PDF)
Others
• (with Paolo Pistone) “Armonia intensionale come isomorfismo“, in E. Montuschi and P.D. Omodeo, Ordinare il Mondo, Armando Editore, 2020. (Slightly revised Italian translation of “Inteionsional harmony as isomorphism“.)
• “Dag Prawitz”, APhEX, vol. 9, ISSN 2036-9972, 2014.
• “A proof of Cut-elimination for linear logic”, Rapporto interno del dipartimento di Scienze Matematiche e Informatiche `R. Magari' (Siena University Mathematics Department pre-print serie), n. 483, October 2006. PDF