Presentations
Presentations
Embedded Files
📌 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.
📌 Displaying first-order relevant logics (w/ Nick Ferenz)
Seminar on Applied Mathematical Logic
Institute of Computer Science, Prague (Czech Republic), July 1, 2026.
📌 Bilateral Inferentialism via double-track (nested) sequents (w/ Han Gao)
Hejnice (Czech Republic), May, 19 2026.
[slides]
📌 Termination, Countermodels, and Complexity in Bilateral Labeled Sequent Calculi
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.
📌 On the proof theory for relevant logics
New Directions in Relevant Logic
Online event, November, 10 and 18 2022.
📌 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]
📌 Notes on the Proof Theory for Relevant Logics. From Routley-Meyer Semantics to Labelled Sequent Systems
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]
📌 Cut-elimination for Intuitionistic Logic with Actuality resolved via hypersequents
University of Turin (Italy), September 5--7, 2022.
[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), June 13--17, 2022.
[abstract]
📌 A Cut-free Hypersequent Calculus for Intuitionistic Modal Logic IS5
Keio University, Yokohama, Kanagawa (Japan), November 13--15, 2021.
[abstract]
📌 The Art of Paradox
Italian Institute of Sciences, Literature and Arts, Venice (Italy) .
PhD Defence, July 2023, Bochum
Page updated
Google Sites
Report abuse