Project-related Publications

Articles in Journals

• “Harmonising harmony", The Review of Symbolic Logic 8(3):411-423, 2015. DOI: 10.1017/S1755020315000179

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

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

• “Dag Prawitz”, APhEX, vol. 9, 2014. (In italian. Available here)

• “Natural deduction for dual-intuitionistic logic", Studia Logica, 100(3):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.

Articles in Proceedings

• (with Michael Arndt) “A constructive view of the square of oppositions", in Proceedings of the III world congress on the Square of Opposition, Beirut 2012, forthcoming;

• “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.), 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, pp. 13-29, Springer, 2014, 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, pp. 273-288, College Publications, London, 2013. PDF

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.

Others

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

• “Functions, Proofs, Constructions”, The Reasoner 8(4) : 40-41, April 2014.