11. “ 10. “ 9. “ 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.
“ Harmonising harmony"The Review of Symbolic Logic 8(3):411-423, 2015. DOI: 10.1017/S17550203150001793. “ Supervaluationism: Truth, Value and Degree Functionality" (with Pablo Cobreros*)Thought 3(2):132-144, 2014. DOI:10.1002/tht3.1212. “ Natural deduction for dual-intuitionistic logic" Studia Logica 100(3):631-648, 2012. DOI:10.1007/s11225-012-9417-81. “ 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;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)Authored VolumesEdited 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.• “
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} |