Articles in Journals

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. “Stabilizing quantum disjunction"
    Journal of Philosophical Logic, Online First. DOI: 10.1007%2Fs10992-018-9460-7

10. “The naturality of natural deduction" (with Mattia Petrolo and Paolo Pistone)
    Studia Logica, Online First. DOI: 10.1007/s11225-017-9772-6
    [Special Issue General Proof Theory, guest edited by Thomas Piecha and Peter Schroeder-Heister] 

9. “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]

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 (final draft PDF)
   [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

Articles in Proceedings

• (with Pablo Cobreros*) Supervaluationism, Subvaluationism and the Sorites Paradox", in Sergi Oms and Elia Zardini (eds.), The Sorites Paradox, forthcoming;

• (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 LogicSpringer, 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)

Authored Volumes

Proof and Truth: An anti-realist perspective, ETS, Pisa, 2013. (Here is the publisher's website)

Edited Volumes

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. PDF

{* When a co-author name is starred, the co-author is the first author of the paper}