Talks

Invited Talks

• February 2015, Paris: ``Harmony, rule equivalence and an inferential criterion of synonymy'', Modeling hypothetical reasoning: validity, inference, and paradoxes, IHPST, Paris, France, 19-20 February 2015;

• May 2014, Paris: ``Ekman’s paradox and general natural deduction rules'', Workshop Hypothetical Reasoning, IHPST, Paris, France, 29-30 May, 2014;

• December 2013, Pamplona: “Labelled calculi for supervaluationism”, VII Navarra Workshop on Vagueness, Universidad de Navarra, Spain, 16–17 December 2013;

• December 2013, Groningen: “Ekman’s paradox and the meaning of implication” (joint work with Peter Schroeder-Heister), Proof theory and Philosophy, University of Groningen, the Netherlands, 3–5 December 2013;

• November 2013, Barcelona: “Antinomies in sequent calculus and natural deduction, structural rules, and Ekman’s paradox” (joint work with Peter Schroeder-Heister), Substructural Approaches to Paradoxes, Universidad de Barcelona, Spain, 25.–26. November 2013;

• May 2013, Lyon: “Improving Prawitz’s notion of proof-theoretic validity”, Proofs and Programs: from Semantics to Complexity, Université Lyon II, Frankreich, 16–17 May 2013;

• May 2012, Padova: “How to Tarski a Dummett-Prawitz", Philosophy of Logic Workshop, Padova, Italy, 7 May 2012;

• April 2012, Tübingen: “How to Tarski a Dummett-Prawitz", Hypo2 Workshop, Tübingen, Germany, 16-17 April 2012;

Contributed Talks

• September 2012, Pisa: “Proof-theoretic semantics, paradoxes and the distinction between sense and denotation”, Filosofia della matematica: dalla logica alla pratica: giovani studiosi a confronto, Pisa, Italy, 24-26 September 2012;

• June 2012, Beirut: “A square of oppositions arising from the comparison of Gentzen’s natural deduction and sequent calculus" (joint work with Michael Arndt), 3rd World Congress on the Square of Opposition, Beirut, Lebanon, 26-30 November 2012;

• June 2012, Hejnice: “For a Tarskian twist to proof-theoretic semantics”, Logica 2012, Hejnice, Czech Republic, 18-22 June 2012;

• June 2012, Pisa: “Proof-theoretic semantics, paradoxes and the distinction between sense and denotation”, Pisa Summer Workshop in Proof Theory, Pisa, Italy 12-15 June 2012;

• June 2012, Bochum: “Comparing sequent calculus and natural deduction in the light of linear logic units” (joint work with Michael Arndt), Trends in Logic XI --- Studia Logica International Conference, Bochum, Germany 3-5 June 2012.