| Algorithmic Theories of Problems I Pezlar Logic and Logical Philosophy 26 (4), 473-508, 2017 | 6 | 2017 |
| Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator J Raclavský, P Kuchyňka, I Pezlar Masarykova univerzita, 2015 | 5 | 2015 |
| Towards a More General Concept of Inference I Pezlar Logica Universalis 8 (1), 61-81, 2014 | 3 | 2014 |
| Je nemonotónní logika logikou? I Pezlar Pro-Fil 13 (1), 41-51, 2012 | 3 | 2012 |
| On Two Notions of Computation in Transparent Intensional Logic I Pezlar Axiomathes 29 (2), 189-205, 2019 | 2 | 2019 |
| The placeholder view of assumptions and the Curry–Howard correspondence I Pezlar | 1 | 2020 |
| Proof-Theoretic Semantics and Hyperintensionality I Pezlar Logique et Analyse 61 (242), 151-161, 2018 | 1 | 2018 |
| Epistemická logika: úvod se zaměřením na studenty humanitních oborů I Pezlar Masarykova univerzita, 2015 | 1 | 2015 |
| Humean Machine: When Desires Are in Charge I Pezlar Beyond AI: Artificial Dreams, 1, 0 | 1 | |
| Composition of Deductions within the Propositions-As-Types Paradigm I Pezlar Logica Universalis, 1-13, 2020 | | 2020 |
| Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory I Pezlar Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types …, 2019 | | 2019 |
| Jaroslav Peregrin, Co je nového v logice I Pezlar Studia Philosophica 66 (1), 118-119, 2019 | | 2019 |
| Peregrin, Jaroslav. Co je nového v logice I Pezlar Studia philosophica 66 (1), 118-119, 2019 | | 2019 |
| Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions I Pezlar The Logica Yearbook 2018, 197-210, 2019 | | 2019 |
| Explicitní/implicitní přesvědčení a derivační systémy J Raclavský, I Pezlar Filosofický časopis (Philosophical Journal) 67 (1), 89-120, 2019 | | 2019 |
| Prolegomena k některým příštím teoriím pojmu I Pezlar Teorie vědy/Theory of Science 39 (1), 134-138, 2017 | | 2017 |
| Derivable Belief and Hyperintensional Algorithmic Semantics J Raclavský, I Pezlar | | 2017 |
| CaL2017: Cognition and Language T Ondráček, M Stránský, J Štěpánek, D Ježová, I Svačinová, M Prokop, ... | | 2017 |
| Proof-Theoretic Semantics, by Nissim Francez I Pezlar Mind 126 (501), 299-304, 2017 | | 2017 |
| A Few Notes on Lambda-Computation and TIL-Construction (21st Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, 10. 5. 2016) I Pezlar | | 2016 |
