Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator J Raclavský, P Kuchyňka, I Pezlar Masarykova univerzita, 2015 | 10 | 2015 |
Algorithmic Theories of Problems I Pezlar Logic and Logical Philosophy 26 (4), 473-508, 2017 | 5 | 2017 |
On two notions of computation in transparent intensional logic I Pezlar Axiomathes 29 (2), 189-205, 2019 | 4 | 2019 |
Towards a More General Concept of Inference I Pezlar Logica Universalis 8 (1), 61-81, 2014 | 4 | 2014 |
Epistemická logika: úvod se zaměřením na studenty humanitních oborů I Pezlar | 3 | 2015 |
Je nemonotónní logika logikou? I Pezlar Pro-Fil 13 (1), 41-51, 2012 | 3 | 2012 |
The placeholder view of assumptions and the Curry–Howard correspondence I Pezlar Synthese 198 (11), 10109-10125, 2021 | 2 | 2021 |
Proof-theoretic semantics and hyperintensionality I Pezlar Logique et Analyse 242, 151-161, 2018 | 2 | 2018 |
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 |
Investigations into Transparent Intensional Logic: A Rule-based Approach I Pezlar Masaryk University, 2016 | 1 | 2016 |
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 | |
Meaning and Computing: Two Approaches to Computable Propositions I Pezlar International Workshop on Logic, Language, Information, and Computation, 100-116, 2021 | | 2021 |
A Note on Paradoxical Propositions from an Inferential Point of View I Pezlar | | 2021 |
Composition of Deductions within the Propositions-As-Types Paradigm I Pezlar Logica Universalis 14 (4), 481-493, 2020 | | 2020 |
Filozofie za horizontem událostí J Raclavský, D Špelda, M Picha, I Pezlar | | 2020 |
Vít Punčochář: Paradoxy klasické logiky I Pezlar Filosoficky Casopis 68 (5), 2020 | | 2020 |
Paradoxes of classical logic: Philosophy and logic of hypothetical sentences I Pezlar FILOSOFICKY CASOPIS 68 (5), 800-806, 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 |