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 |
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 |
Je nemonotónní logika logikou? I Pezlar Pro-Fil–An Internet Journal of Philosophy 13 (1), 41–51-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 |
Proof-theoretic semantics and hyperintensionality I Pezlar Logique et Analyse 242, 151-161, 2018 | 2 | 2018 |
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 |
A Note on Paradoxical Propositions from an Inferential Point of View I Pezlar | | 2021 |