Ivo Pezlar 
postdoctoral researcher, editor-in-chief of Teorie vědy / Theory of Science
e-mail: This email address is being protected from spambots. You need JavaScript enabled to view it.
phone: +420 221 183 342
office: 214a
web: http://ivo.pezlar.com
Ivo Pezlar is a postdoctoral researcher at Institute of Philosophy at Academy of Sciences of the Czech Republic in Prague and the editor-in-chief of the Teorie vědy / Theory of Science journal. His research focuses on philosophical logic, type theory (esp. Martin-Löf's constructive type theory and Tichý's partial type theory) and general proof theory (esp. proof-theoretic semantics) and their applications to natural language. He is the author and co-author of two books Epistemic Logic: An Introduction for Students of Humanities (2015) and Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator (2015), both in Czech. Ivo Pezlar earned his Master degree in Philosophy at the Faculty of Arts of Masaryk University in Brno, where he also received his doctorate degree.
Curriculum vitae (January 2020)
Recent publications
-
What Video Games to Play in a Philosophy Classroom? DailyNous.com guest post
0547382 - FLÚ 2022 RIV US eng O - Ostatní výsledky...
Pezlar, Ivo
What Video Games to Play in a Philosophy Classroom? DailyNous.com guest post.
2021
Institucionální -
The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract)
0546967 - FLÚ 2022 DE eng C - Konferenční příspěvek (zahraniční konf.)
Pezlar, Ivo
The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract).- A Note on Paradoxical Propositions from an Inferential Point of View
0546974 - FLÚ 2022 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)...
Pezlar, Ivo
A Note on Paradoxical Propositions from an Inferential Point of View.
The Logica Yearbook- Meaning and Computing: Two Approaches to Computable Propositions
0546956 - FLÚ 2022 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)...
Pezlar, Ivo
Meaning and Computing: Two Approaches to Computable Propositions.
Logic, Language,- The placeholder view of assumptions and the Curry–Howard correspondence
0546332 - FLÚ 2022 RIV NL eng J - Článek v odborném periodiku...
Pezlar, Ivo
The placeholder view of assumptions and the Curry–Howard correspondence.
Synthese. Roč. 198, č. 11Fore more, see the ASEP database of the Czech Academy of Sciences.
- A Note on Paradoxical Propositions from an Inferential Point of View