| Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator J Raclavský, P Kuchyňka, I Pezlar Masarykova univerzita, 2015 | 11 | 2015 |
| On two notions of computation in transparent intensional logic I Pezlar Axiomathes 29 (2), 189-205, 2019 | 7 | 2019 |
| Algorithmic Theories of Problems I Pezlar Logic and Logical Philosophy 26 (4), 473-508, 2017 | 6 | 2017 |
| Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator J Raclavský, P Kuchyňka, I Pezlar Brno: Masaryk University (Munipress), Brno, 2015 | 5 | 2015 |
| Epistemická logika: úvod se zaměřením na studenty humanitních oborů I Pezlar Masarykova univerzita nakladatelství, 2015 | 4 | 2015 |
| Towards a More General Concept of Inference I Pezlar Logica Universalis 8 (1), 61-81, 2014 | 4 | 2014 |
| Proof-theoretic semantics and hyperintensionality I Pezlar Logique et Analyse, 151-161, 2018 | 3 | 2018 |
| Je nemonotónní logika logikou? I Pezlar Pro-Fil 13 (1), [41]-51, 2012 | 3 | 2012 |
| Type Polymorphism, Natural Language Semantics, and TIL I Pezlar Journal of Logic, Language and Information 32 (2), 275-295, 2023 | 2 | 2023 |
| The placeholder view of assumptions and the Curry–Howard correspondence I Pezlar Synthese 198 (11), 10109-10125, 2021 | 2 | 2021 |
| Investigations into Transparent Intensional Logic: A Rule-based Approach I Pezlar Masaryk University, 2016 | 2 | 2016 |
| Explicitní/implicitní přesvědčení a derivační systémy J Raclavský, I Pezlar Filosofický časopis (Philosophical Journal) 67 (1), 89-120, 2019 | 1 | 2019 |
| Tichý’s Two-Dimensional Conception of Inference I Pezlar Organon F 20 (2), 54-65, 2013 | 1 | 2013 |
| Humean Machine: When Desires Are in Charge I Pezlar Beyond AI: Artificial Dreams, 1, 0 | 1 | |
| Constructive validity of a generalized Kreisel-Putnam rule I Pezlar arXiv preprint arXiv:2311.15376, 2023 | | 2023 |
| Nils Kürbis, Proof and Falsity: A Logical Investigation, Cambridge University Press, 2019, pp. 316; ISBN: 978-110-87-1672-7 (Softcover)£ 24.99, ISBN: 978-110-84-8130-4 … I Pezlar | | 2023 |
| Associativity of deduction composition in natural deduction I Pezlar Day 1, Track B 23, 21, 2022 | | 2022 |
| Going Nowhere and Back: Is Trivialization the Same as Zero Execution? I Pezlar | | 2022 |
| Proceedings of the 16th International Congress of Logic, Methodology and Philosophy of Science and Technology T Marvan, H Andersen, H Chang, B Löwe, I Pezlar | | 2022 |
| Meaning and Computing: Two Approaches to Computable Propositions I Pezlar Logic, Language, Information, and Computation: 27th International Workshop …, 2021 | | 2021 |
