Fabio De Martin Polo
Fabio De Martin Polo
PhD in Philosophy
PhD in Philosophy
Embedded Files
NEWS!
NEWS!
My abstract, Bilateral inferentialism via double-track (nested) sequents, has been accepted for presentation at Logica 2026.
My paper, Bilateral Labeled Sequent Calculi, has been accepted for publication on the Notre Dame Journal of Formal Logic.
I am among the winners of the Young Researchers 2025 call of the Cariplo Foundation and will receive €200.000,00 in funding for a three-year research project titled The Philosophy of Proof-Theoretic Practice: Towards the Practical and Social Turn in the Epistemology of Proofs and Proving Activities.
About me
About me
I am currently employed at the Institute of Computer Science of the Czech Academy of Sciences (Prague), where I work on both the TRUST and SIMILE projects within the LogICS group.
I am currently employed at the Institute of Computer Science of the Czech Academy of Sciences (Prague), where I work on both the TRUST and SIMILE projects within 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”.
Click here for my CV. (last update: 02/2026)
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), including 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), including 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