Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator J Raclavský, P Kuchyňka, I Pezlar Masarykova univerzita, 2015 | 17* | 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 | 7 | 2017 |
Towards a More General Concept of Inference I Pezlar Logica Universalis 8 (1), 61-81, 2014 | 5 | 2014 |
Epistemická logika: úvod se zaměřením na studenty humanitních oborů I Pezlar Masarykova univerzita nakladatelství, 2015 | 4 | 2015 |
The placeholder view of assumptions and the Curry–Howard correspondence I Pezlar Synthese 198 (11), 10109-10125, 2021 | 3 | 2021 |
Proof-theoretic semantics and hyperintensionality I Pezlar Logique et Analyse 242, 151-161, 2018 | 3 | 2018 |
Je nemonotónní logika logikou? I Pezlar Pro-Fil 13 (1), [41]-51, 2012 | 3 | 2012 |
Constructive validity of a generalized Kreisel–Putnam rule I Pezlar Studia Logica, 1-33, 2024 | 2 | 2024 |
Type Polymorphism, Natural Language Semantics, and TIL I Pezlar Journal of Logic, Language and Information 32 (2), 275-295, 2023 | 2 | 2023 |
A Note on Paradoxical Propositions from an Inferential Point of View I Pezlar | 2 | 2021 |
Investigations into Transparent Intensional Logic: A Rule-based Approach I Pezlar Masaryk University, 2016 | 2 | 2016 |
Tichý’s Two-Dimensional Conception of Inference I Pezlar Organon F 20 (2), 54-65, 2013 | 2 | 2013 |
From Explosion to Implosion: A New Justification for the Ex Falso Quodlibet Rule I Pezlar Erkenntnis, 1-23, 2024 | 1 | 2024 |
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 |
Humean Machine: When Desires Are in Charge I Pezlar Beyond AI: Artificial Dreams, 1, 0 | 1 | |
A logic of judgmental existence and its relation to proof irrelevance I Pezlar arXiv preprint arXiv:2405.14481, 2024 | | 2024 |
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 |