Fabio De Martin Polo
Fabio De Martin Polo
PhD in Philosophy
PhD in Philosophy
Embedded Files
NEWS!
NEWS!
My abstract, Taming the Beast! Successes and Limits of Sequent Calculi for First-Order Relevant Logics, has been accepted for presentation at Directions in Relevant Logic III.
The abstract co-authored with Han Gao, A Nested Approach to Relevant Logic, has been accepted for presentation at both conferences Directions in Relevant Logic III (Bochum) and TACL 2026 (Kraków).
The abstract co-authored with Han Gao, Bilateral inferentialism via double-track (nested) sequents, has been accepted for presentation at Logica 2026.
About me
About me
I am currently employed at the Institute of Computer Science of the Czech Academy of Sciences in Prague and I am a member of the LogICS group.
I am currently employed at the Institute of Computer Science of the Czech Academy of Sciences in Prague and I am a member of the LogICS group.
From 2019 to 2023, I have been a PhD student in the Department of Philosophy I at the Ruhr University Bochum. Before that, I obtained a Master Degree in Philosophy from the Ca' Foscari University of Venice.
From 2019 to 2023, I have been a PhD student in the Department of Philosophy I at the Ruhr University Bochum. Before that, I obtained a Master Degree in Philosophy from the Ca' Foscari University of Venice.
I am a member of the Logicians Liberation League, under the nickname “Ackermann’s Constant Companion”.
I am a member of the Logicians Liberation League, under the nickname “Ackermann’s Constant Companion”.
Research interests
Research interests
I am interested in:
I am interested in:
Proof theory (especially sequent calculi and related formalisms) and non-classical logics (relevant, constructive and paraconsistent logics as well as their modal variants);
Proof theory (especially sequent calculi and related formalisms) and non-classical logics (relevant, constructive and paraconsistent logics as well as their modal variants);
Philosophy of logic and mathematics (logical inferentialism, practice-based approaches, alternative logics, social and educational aspects), particularly the epistemology of logic and mathematics (formal languages and proofs, applications of logical systems, mathematical and logical explanation).
Philosophy of logic and mathematics (logical inferentialism, practice-based approaches, alternative logics, social and educational aspects), particularly the epistemology of logic and mathematics (formal languages and proofs, applications of logical systems, mathematical and logical explanation).
History of logic (Wittgenstein, 19th- and 20th-century philosophy of mathematics and logic, history of modal and non-classical logics, medieval logic).
History of logic (Wittgenstein, 19th- and 20th-century philosophy of mathematics and logic, history of modal and non-classical logics, medieval logic).
In relation to these areas, I have recently developed an interest in the philosophy of mathematical practice.
In relation to these areas, I have recently developed an interest in the philosophy of mathematical practice.
Alongside my research interests, I occasionally like to explore topics such as philosophy of religion, literature, gender studies, and 20th-century Italian philosophy — a legacy from my early days in philosophy.
Alongside my research interests, I occasionally like to explore topics such as philosophy of religion, literature, gender studies, and 20th-century Italian philosophy — a legacy from my early days in philosophy.
Page updated
Google Sites
Report abuse