Articles in Journals

• “Natural deduction for bi-intuitionistic logic"
   to appear in Journal of Applied Logic (draft PDF)
   [Special Issue Logical Investigations on Assertion and Denial, guest edited by Massimiliano Carrara, Daniele Chiffi and Ciro de Florio] 

• “Proof analysis of global consequence" (with Pablo Cobreros)
   to appear in
Logique et Analyse (final draft PDF
   [Special Issue How to say ``Yes'' or ``No'', guest edited by Filip Buekens, Massimiliano Carrara, Daniele Chiffi and Ciro de Florio]

• “Ekman's paradox" (with Peter Schroeder-Heister)
to appear in
Notre Dame Journal of Formal Logic 
DOI: 10.1215/00294527-2017-0017 

• “Proof-theoretic harmony: Towards an intensional account"
   to appear in 
Synthese. DOI: 10.1007%2Fs11229-016-1200-3 
[Special Issue Intensionality in Mathematics, guest edited by Marianna Antonutti Marfori and Paola Quinon]

Proof-theoretic semantics, paradoxes and the distinction between sense and denotation"
Journal of Logic and Computation, 26(2), pp. 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]
• “Harmonising harmony
The Review of Symbolic Logic 8(3),
pp. 411-423, 2015. DOI: 10.1017/S1755020315000179

Supervaluationism: Truth, Value and Degree Functionality" (with Pablo Cobreros*)
Thought 3(2), pp. 132-144, 2014. DOI:10.1002/tht3.121

• “Natural deduction for dual-intuitionistic logic"
   Studia Logica 100(3), pp. 631-648, 2012. DOI:10.1007/s11225-012-9417-8

• “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]

Articles in Proceedings

• (with Pablo Cobreros*) S'valuationism", 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}