13. “How to Ekman a Crabbé-Tennant" (with Peter Schroeder-Heister)
Synthese, Online First. DOI: 10.1007/s11229-018-02018-3
[Special Issue Substructural approaches to paradoxes, guest edited by Elia Zardini]
12. “Proof, meaning and paradox. Some remarks"
Topoi, Online First. DOI: 10.1007/s11245-018-9552-6
[Special Issue Inferences and Proofs, guest edited by Gabriella Crocco and Antonio Piccolomini d'Aragona]
11. “Proof-theoretic harmony: Towards an intensional account"
Synthese, Online first. DOI: 10.1007%2Fs11229-016-1200-3
[Special Issue Intensionality in Mathematics, guest edited by Marianna Antonutti Marfori and Paola Quinon]
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.
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
> “Supervaluationism, Subvaluationism and the Sorites Paradox" (with Pablo Cobreros)
in Sergi Oms and Elia Zardini (eds.), The Sorites Paradox
Cambridge University Press, Cambridge, 2019, Ch. 2, pp. 38-62
> “A constructive view of the square of oppositions" (with Michael Arndt)
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
Volume 308 of Boston Studies in Philosophy of Science, Springer, 2015, pp. 111-121. DOI : 10.1007/978-3-319-10434-8_7
> “Harmony and rule equivalence”,
in Enrico Moriconi and Laura Tesconi (eds.), Second Pisa Colloquium in Logic, Language and Epistemology
ETS, Pisa, 2014, pp. 288-299
> “Emptiness and discharge in sequent calculus and natural deduction" (with Michael Arndt)
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
> “Refutation: a proof-theoretic account"
in C. Marletti (ed.), First Pisa Colloquium in Logic, Language and Epistemology
ETS, Pisa 2010, pp. 133-150
> “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
> “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
> Proof and Truth: An anti-realist perspective, ETS, Pisa, 2013. (Here is the publisher's website)
> Anti-realistic notions of truth, proceedings of the workshop held in Siena, 10-12th September 2010, special issue of Topoi, 31:1, Springer, 2012.
> “Convenzionalismo e costanti logiche: qualche osservazione”, a short reply to Paolo Maffezioli and Alberto Naibo “Convenzionalismo e costanti logiche", to appear in G. Pravato, Post n 4, Mimesis Edizioni, Milan.
> “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.