Presentations

📌 Material Inference without Inferentialism (w/ Wesley Fussner), Workshop on Metalogic, Institute of Philosophy, Prague (Czech Republic), August, 25-28, 2026.

[slides] 

📌 A Nested Approach to Relevant Logic (w/ Han Gao), TACL 2026, Larisch Palace, Kraków (Poland), July, 27-31, 2026.

[slides]

📌 Taming the Beast (or how to display first-order relevant logics)! (w/ Nick Ferenz), Directions in Relevant Logic 3, Ruhr University Bochum (Germany), July, 6-8, 2026. 

[slides]

📌 A Nested Approach to Relevant Logic (w/ Han Gao), Directions in Relevant Logic 3, Ruhr University Bochum (Germany), July, 6-8, 2026.

[slides]

📌 Displaying first-order relevant logics (w/ Nick Ferenz), Seminar on Applied Mathematical Logic, Institute of Computer Science, Prague (Czech Republic), July 1, 2026. 

[slides]

📌 Bilateral Inferentialism via double-track (nested) sequents (w/ Han Gao), Logica 2026, Hejnice (Czech Republic), May, 19 2026. 

[slides]

📌 Termination, Countermodels, and Complexity in Bilateral Labeled Sequent Calculi, CGL&BL 2026, Czech Academy of Sciences, Prague (Czech Republic), February, 4 2026. 

[slides]

📌 Reflecting on the proof theory of first-order relevant logics and relevant modal logics, Seminar on Applied Mathematical Logic, Institute of Computer Science, Prague (Czech Republic), October 15, 2025. 

[slides]

📌 Semantic proof systems: why and how to stop worrying, Perspectives on Logic and Philosophy, Ruhr University Bochum (Germany), January 9--11, 2023. ,

[abstract] [slides]

📌 On the proof theory for relevant logics, New Directions in Relevant Logic, Online event, November, 10 and 18 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), November 7--12, 2022.

[abstract] [slides]

📌 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), September 11--15, 2022. 

[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), September 5--8, 2022.

[abstract] [slides]

📌 Cut-elimination for Intuitionistic Logic with Actuality resolved via hypersequents, PhDs in Logic XIII, University of Turin (Italy), September 5--7, 2022.

[abstract] [slides]

📌 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), June 13--17, 2022.

[abstract] [slides]

📌 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) .