pezlar

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

  • Composition of Deductions within the Propositions-As-Types Paradigm
    0535279 - FLÚ 2021 RIV CH eng J - Článek v odborném periodiku
    Pezlar, Ivo
    Composition of Deductions within the Propositions-As-Types Paradigm.
    Logica Universalis. Roč. 14, č. 4 (2020), s. 481-493. ISSN 1661-8297
    Grant CEP: GA ČR(CZ) GA19-12420S
    Institucionální podpora: RVO:67985955...
  • Vít Punčochář. Paradoxy klasické logiky [Recenze]
    0535277 - FLÚ 2021 RIV CZ cze R - Recenze
    Pezlar, Ivo
    Vít Punčochář. Paradoxy klasické logiky [Recenze].
    [Vít Punčochář. Paradoxes of Classical Logic [Review].]
    [PUNČOCHÁŘ, Vít.: Paradoxy klasické logiky: filosofie a logika hypotetických vět. Praha: Filosofia, 2019. 304 s.]. Filosofický
    ...
  • [Recenze]
    0509203 - FLÚ 2020 CZ cze R - Recenze
    Pezlar, Ivo
    [Recenze].
    [PEREGRIN, J.: Co je nového v logice. Praha: Nová beseda, 2018. 97 s. ISBN 978-80-906751-5-5]. Studia philosophica. Roč. 66, č. 1 (2019), s. 118-119. ISSN 1803-7445
    Institucionální podpora: RVO:67985955
    Klíčová slova: logic *
    ...
  • Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions
    0508538 - FLÚ 2020 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
    Pezlar, Ivo
    Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.
    The Logica Yearbook 2018. London: College Publications, 2019 - (Sedlár, I.; Blicha, M.), s. 197-210. ISBN
    ...
  • Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory
    0508521 - FLÚ 2020 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
    Pezlar, Ivo
    Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory.
    IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures: Proceedings of the
    ...

 

Fore more, see the ASEP database of the Czech Academy of Sciences.