Publications

Papers

• Hyperintensions as Computations. Journal of Philosophical Logic 54 (2025): 995–1018. https://doi.org/10.1007/s10992-025-09809-3 (⇩ preprint)

• Constructive Validity of a Generalized Kreisel-Putnam Rule. Studia Logica 113 (2025): 1367–1399. https://doi.org/10.1007/s11225-024-10129-x (⇩ final preprint, without typesetting errors)

• What Absurdity Is Not in Natural Deduction: Structural Approach and the Empty Set. Topoi (2025), online first. https://doi.org/10.1007/s11245-025-10205-4 (⇩ preprint)

• Absurdity as the Impossible Command in Natural Deduction. Theoria 91, no. 1 (2025): 25–44. https://doi.org/10.1111/theo.12567 (⇩ preprint)

• From Explosion to Implosion: A New Justification for the Ex Falso Quodlibet Rule. Erkenntnis 90 (2025): 2855–2877. https://doi.org/10.1007/s10670-024-00828-1 (⇩ preprint)

• Vít Punčochář and Ivo Pezlar. Informative Presupposition in Inquisitive Logic. In Agata Ciabattoni, David Gabelaia & Igor Sedlár (eds.). Advances in Modal Logic 2024, Volume 15. London: College Publications, 2024, pp. 609–630.

• Type Polymorphism, Natural Language Semantics, and TIL. Journal of Logic, Language and Information 32 (2023): 275–295. https://doi.org/10.1007/s10849-022-09383-w (⇩ final preprint, ePDF)

• Going Nowhere and Back: Is Trivialization the Same as Zero Execution? In Pavel Materna and Bjørn Jespersen (eds.). Logically Speaking. A Festschrift for Marie Duží. London: College Publications, 2022, pp. 187-202. (⇩ preprint)

• Meaning and Computing: Two Approaches to Computable Propositions. In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.). Logic, Language, Information, and Computation. WoLLIC 2021. Lecture Notes in Computer Science, vol 13038. Cham: Springer, 2021, pp. 100-116. https://doi.org/10.1007/978-3-030-88853-4_7 (⇩ preprint)

• A Note on Paradoxical Propositions from an Inferential Point of View. In Martin Blicha and Igor Sedlár (eds.). The Logica Yearbook 2020. London: College Publications, 2021, pp. 183-199. (⇩ preprint)

• The Placeholder View of Assumptions and the Curry–Howard Correspondence. Synthese 198, no. 11 (2021): 10109–10125. https://doi.org/10.1007/s11229-020-02706-z (⇩ preprint, ePDF)

• Composition of Deductions within the Propositions-As-Types Paradigm. Logica Universalis 14, no. 4 (2020): 481-493. https://doi.org/10.1007/s11787-020-00260-3 (⇩ final preprint, ePDF)

• Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions. In Igor Sedlár and Martin Blicha (eds.). The Logica Yearbook 2018. London: College Publications, 2019, pp. 197-210. (⇩ preprint)

• Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory. In Rainer Osswald, Christian Retoré, Peter Sutton (eds.). Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures. Stroudsburg, PA: Association for Computational Linguistics, 2019. pp. 10-18. https://doi.org/10.18653/v1/W19-1002 (⇩ PDF)

• Jiří Raclavský and Ivo Pezlar. Explicit/Implicit Belief and Derivation Systems [in Czech]. Filosofický časopis 67, no. 1 (2019): 89-120. (abstract)

• On Two Notions of Computation in Transparent Intensional Logic. Axiomathes 29, no. 2 (2019): 189-205. https://doi.org/10.1007/s10516-018-9401-7 (⇩ preprint)

• Proof-Theoretic Semantics and Hyperintensionality. Logique et Analyse 61, no. 242 (2018): 151-161. https://doi.org/10.2143/LEA.242.0.3284748 (⇩ preprint)

• Algorithmic Theories of Problems: A Constructive and a Non-Constructive Approach. Logic and Logical Philosophy 26, no. 4 (2017): 473-508. https://doi.org/10.12775/LLP.2017.010 (⇩ PDF, abstract)

• Desire-Based Model of Reasoning. In Romportl, Jan; Zackova, Eva; Kelemen, Jozef. Beyond Artificial Intelligence: The Disappearing Human-Machine Divide (Topics in Intelligent Engineering and Informatics). Cham: Springer International Publishing, 2015. pp. 143-157. https://doi.org/10.1007/978-3-319-09668-1_11

• Towards a More General Concept of Inference. Logica Universalis 8, no. 1 (2014): 61-81. https://doi.org/10.1007/s11787-014-0095-3

• Logic as a Toolbox. In The Future of Philosophy. Olomouc: Palacky University Olomouc, 2014. pp. 73-85. (⇩ PDF)

• Tichý’s Two-Dimensional Conception of Inference. Organon F 20, Supplementary Issue 2 (2013): 54-65. (abstract, ⇩ PDF)

• Humean Machine: When Desires Are in Charge. In Jan Romportl, Pavel Ircing, Eva Zackova, Michal Polak, Radek Schuster (eds.). Beyond AI: Artificial Dreams - Proceedings of the International Conference Beyond AI 2012. 1st ed. Pilsen: University of West Bohemia, 2012. pp. 1-9.

• Is Nonmonotonic Logic a Logic? [in Czech]. Pro-Fil 13, no. 1 (2012): 41-51. https://doi.org/10.5817/pf13-1-297 (⇩ PDF)

Books and edited volumes

• Gaming Science: Exploring the Intersection of Science and Video Games [co-edited with Helena Bendová]. Special issue, Teorie vědy / Theory of Science 46, no. 2 (2024). (link)

• Logic, Methodology and Philosophy of Science and Technology, Proceedings of the Sixteenth International Congress, Bridging Across Academic Cultures [co-edited with Tomáš Marvan, Hanne Andersen, Hasok Chang, Benedikt Löwe]. London: College Publications, 2022. (link, ⇩ PDF)

• Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator [with Jiří Raclavský, Petr Kuchyňka; in Czech]. Brno: Masaryk University Press, 2015. (English summary)

• Epistemic Logic: An Introduction for Students of Humanities [in Czech]. Brno: Masaryk University Press, 2015. (abstract, ⇩ PDF)

Reviews

• Kürbis, Nils. Proof and Falsity: A Logical Investigation, Cambridge University Press, 2019. Studia Logica 111 (2023), pp. 353–356. https://doi.org/10.1007/s11225-022-10002-9 (view online)

• Punčochář, Vít. Paradoxy klasické logiky. Filosofický časopis, Vol. 68, No. 5 (2020), pp. 800-806. (⇩ PDF)

• Peregrin, Jaroslav. Co je nového v logice. Studia philosophica, Vol. 66, No. 1 (2019). https://doi.org/10.5817/SPh2019-1-11 (⇩ PDF)

• Materna, Pavel. Hovory o pojmu. Teorie vědy / Theory of Science, Vol. 39, No. 1 (2017). https://doi.org/10.46938/tv.2017.395 (⇩ PDF)

• Francez, Nissim. Proof-Theoretic Semantics. Mind, Vol. 126, No. 501 (2017). https://doi.org/10.1093/mind/fzw056 (online)

• Svoboda, V. et al. Logika a přirozený jazyk. Pro-Fil, Vol. 11, No. 2 (2010). https://doi.org/10.5817/pf11-2-46 (⇩ PDF)

Invited talks

• Hyperintensions as computations. In Bochum Nonclassical Logic Workshop III, Ruhr University Bochum, November 28, 2024.

• A logic of judgmental existence and its relation to proof irrelevance. In Carl Friedrich von Weizsäcker Colloquium, Universität Tübingen, November 20, 2024.

• An implication elimination-like variant of the generalized Kreisel-Putnam rule and its computational content. In Workshop on Information-Based Semantics and Related Frameworks, Institute of Philosophy, Czech Academy of Sciences, Prague, June 7, 2024.

• Computational content of a generalized Kreisel-Putnam rule. In Seminar on Applied Mathematical Logic, Institute of Computer Science, Czech Academy of Sciences, Prague, March 22, 2023.

• Overloaded Meaning of Absurdity. In Logic and Epistemology Colloquium, Institute of Philosophy I, Ruhr University Bochum, December 1, 2022.

• What Do Philosophy and Video Games Have in Common? [in Czech; Co mají společného filosofie a videohry?]. In Jednota Filozofická, Palacký University Olomouc, March 2, 2022.

• Composition of Deductions within the Propositions as Types Paradigm. In Seminar of the Department of Logic, Institute of Philosophy, Czech Academy of Sciences, Prague, 2019.

• Problems and Solutions in the Framework of Procedural Semantics. In Oberseminar Logik und Sprachtheorie, Eberhard Karl University of Tübingen, 2014.

• Towards a More General Concept of Inference. In Oberseminar Logik und Sprachtheorie, Eberhard Karl University of Tübingen, 2013.

Conference talks

• A Curry-Howard Correspondence for Intuitionistic Inquisitive Logic. In 31st International Conference on Types for Proofs and Programs (TYPES 2025), University of Strathclyde, Glasgow, June 12, 2025.

• Hyperintensions as Computations. In 35th International Symposium LOGICA 2025, Hejnice Monastery, May 16, 2025.

• Trivialization in HTLC as a Lax Modality. In Workshop Logic Café 2024, VSB-Technical University of Ostrava, Ostrava, September 11 - 13, 2024.

• Intuitionistic Natural Deduction with a General Collapse Rule and Its Propositions-as-Types Interpretation. In NCL'24: Non-Classical Logics: Theory and Applications 2024, University of Łódź, Łódź, September 5 - 8, 2024.

• A Logic of Judgmental Existence and Its Relation to Truncation and Proof Irrelevance. In Logic Colloquium 2024, European Summer Meeting of the Association for Symbolic Logic, University of Gothenburg, Gothenburg, June 24 - 28, 2024.

• A Logic of Judgmental Existence and Its Relation to Proof Irrelevance. In 27th Conference Applications of Logic in Philosophy and the Foundations of Mathematics, OSW „Olimp”, Szklarska Poręba, May 6 - 10, 2024.

• Computational Content of a Generalized Kreisel-Putnam Rule. In 14th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), Telavi, September 18 - 22, 2023.

• Wittgenstein’s Notion of Contradiction as a Hint To Act and Not to Consider. In Wittgenstein and Hegel on the Foundations of Logic, University of Vienna, Vienna, September 11 - 13, 2023.

• What Absurdity Is Not: Structural Approach, Empty Sets, and Empty Spaces. In the 11th European Congress of Analytic Philosophy (ECAP11), Central European University and University of Vienna, Vienna, August 21 - 25, 2023.

• A New Justification for the Law of Pseudo-Scotus. In Czech Gathering of Logicians 2023, University of Ostrava, Ostrava, June 1 - 2, 2023.

• Justifying the Explosion Principle. In 26th Conference Applications of Logic in Philosophy and the Foundations of Mathematics, OSW „Rzemieślnik”, Szklarska Poręba, May 8 - 12, 2023.

• Canonical and Noncanonical Forms of Proofs. In What Are Logical Forms (Good for)? Villa Lanna, Prague, October 26 - 28, 2022.

• On the Computational Content of a Generalized Harrop Rule. In 35th International Symposium LOGICA 2022, The Premonstratensian Monastery of Teplá, September 13, 2022.

• Going Nowhere and Back: Is Trivialization the Same as Zero Execution?. In 60th Anniversary Conference of the Department of Logic and Methodology of Sciences (Comenius University in Bratislava), KC Academia, Stará Lesná, June 29 - July 1, 2022.

• Associativity of Deduction Composition in Natural Deduction. In Logic4Peace: fundraising online Logic event for Peace (online), April 22, 2022.

• The Placeholder View of Assumptions and the Curry–Howard Correspondence. In 4th International Conference on Logic and Argumentation (CLAR 2021), Hangzhou (online), October 22, 2021.

• Meaning and Computing: Two Approaches to Computable Propositions. In 27th Workshop on Logic, Language, Information and Computation (WoLLIC 2021), São Paulo, London (online), October 7, 2021.

• What Speech Act is Tied to a Contradiction?. In 34th International Symposium LOGICA 2021, Hejnice Monastery, 2021.

• A Note on Paradoxical Propositions from an Inferential Point of View. In Logic Colloquium 2021 (LC 2021), Poznań (online), July 22, 2021.

• What Speech Act Is Tied to a Contradiction?. In 6th International Meeting of the Association for the Philosophy of Mathematical Practice (APMP 6), Orange, CA (online), July 3, 2021.

• Notional Attitudes and Type Polymorphism: What am I thinking about when I am thinking about something?. In 10th European Congress of Analytic Philosophy (ECAP 10), Utrecht (online), 2020.

• Meaning as Algorithm. In 5th International Conference on the History and Philosophy of Computing (HaPoC 2019), Bergamo, 2019.

• Analysis of Incorrect Proofs. In 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019), Prague, 2019.

• Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory. In 13th International Conference on Computational Semantics (IWCS 2019) - Workshop on Computing Semantics with Types, Frames and Related Structures, Gothenburg, 2019.

• Understanding Incorrect Proofs. In ExLog 2019 (Explaining explanation using new developments in logic and formal semantics: Hyperintensionality, relevance, counterfactuals, grounding and truthmaker semantics), Louvain-la-Neuve, 2019.

• Transparent Intensional Logic and Proof Analysis. In Logic Cafe, Ostrava, January 16, 2019.

• Non-Constructive Procedural Theory of Problems. In LOGICA 2018, Hejnice Monastery, 2018.

• Derivable Belief and Hyperintensional Algorithmic Semantics (co-author Jiri Raclavsky). In 9th European Congress of Analytic Philosophy, Munich, 2017.

• A Few Notes on Lambda-Computation and TIL-Construction. In 21st Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, 2016.

• Type-Theoretical Approaches to Problems and Solutions. In 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki, 2015.

• Natural Language and Proof-Theoretic Semantics: Denotational Ghosts in Inferential Machine. In 5th World Congress and School on Universal Logic, Istanbul, 2015.

• Two-Dimensional Calculus for TIL Constructions. In PhDs in Logic VI, Utrecht, 2014.

• Functional Reimagination of Jaśkowski’s Suppositional Logic. In Trends in Logic XIII - Studia Logica International Conference, Łódź, 2014.

• Functional Interpretation of Jaśkowski’s Calculus [in Czech]. In Logic Cafe, Brno, 2014.

• What Are the Inference Steps Really Stepping on? Brief History of Two-Dimensional Inference. In 4th World Congress and School on Universal Logic, Rio de Janeiro, 2013.

• Constructions and Proofs [in Czech]. In Young Philosophy: The Character of Current Philosophy and its Methods, Bratislava, 2013.

• Humean Machine: When Desires Are in Charge. Beyond AI: Artificial Dreams, Pilsen, 2012.

• Tichý’s Two-Dimensional Conception of Inference. In Systems of Deduction: From Extensional Logic to Hyperintensional Logic [in Czech]. Dolná Krupá, 2012.

• Russell’s Original Sin: Therefore-relation as a Precursor of Logical Implication? [in Czech]. In Bertrand Russell, Pilsen, 2012.

• Modal Explication of Truth. In 1st WFAP Graduate Conference 2012: “Nothing but the Truth”, Vienna, 2012.

Electronic documents

• Ansten Klev and Ivo Pezlar. Per Martin-Löf: Transcriptions [online repository]. Prague: Institute of Philosophy CAS, 2022. Available at: https://pml.flu.cas.cz/

Miscellanea

• Ivo Pezlar and Helena Bendová. Gaming Science: Exploring the Intersection of Science and Video Games [editorial]. Teorie vědy / Theory of Science, Vol. 46, No. 2 (2024), pp. 117–119. https://doi.org/10.46938/tv.2024.663

• DailyNous.com (blog). "What video games to play in a philosophy classroom?" posted May 18, 2021. https://dailynous.com/2021/05/18/what-video-games-to-play-in-a-philosophy-classroom-guest-post/

• Logica 2013 report [in Czech]. Filosoficky casopis, Vol. 61, No. 4 (2013), pp. 625-627.