Presentations

Semantic proof systems: why and how to stop worrying

Workshop on “Perspectives on Logic and Philosophy”, Ruhr University Bochum (Germany), January 9--11, 2023. [abstract & slides]

On the proof theory for relevant logics

Workshop on New Directions in Relevant Logic, online event, Nov. 2022. [abstract & slides]

Reduced Routley-Meyer models and labelled sequent calculi for relevant logics

Autumn Workshop on Proof Theory and its Applications 2022, Utrecht University (Netherlands). [abstract]

Notes on the Proof Theory for Relevant Logics. From Routley-Meyer Semantics to Labelled Sequent Systems

Logica 2022, The Premonstratensian Monastery of Teplá (Czech Republic). [abstract]

Remarks on Jaśkowski’s discussive logic. Origins, development and a little proof theory

The 6th World Congress of Paraconsistency – The 2nd Stanisław Jaśkowski Memorial Symposium, University of Toruń (Poland). [abstract]

Cut-elimination for Intuitionistic Logic with Actuality resolved via hypersequents.

PhDs in Logic XIII, University of Turin (Italy). [abstract]

Proof Analysis in Jaśkowski’s Discussive Logic. Cut-admissibility and Embedding theorems

5th SILFS Postgraduate Conference on Logic and Philosophy of Science, University Bicocca Milan (Italy). [abstract]

A Cut-free Hypersequent Calculus for Intuitionistic Modal Logic IS5

Logic and Engineering of Natural Language Semantics 18 (LENLS18), Workshop of the JSAI International Symposia on AI 2021, Keio University, Yokohama, Kanagawa (Japan). [abstract]

The Art of Paradox

Invited Lecture on K. Gödel's Incompleteness Theorems for the Series "Music and Philosophy Meetings 2018", Italian Institute of Sciences, Literature and Arts, Venice (Italy) .