Ivo Pezlar
Ivo Pezlar
Institute of Philosophy of the Czech Academy of Sciences; Faculty of Arts Masaryk University
Verified email at flu.cas.cz - Homepage
Title
Cited by
Cited by
Year
Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator
J Raclavský, P Kuchyňka, I Pezlar
Masarykova univerzita, 2015
72015
Algorithmic Theories of Problems
I Pezlar
Logic and Logical Philosophy 26 (4), 473-508, 2017
52017
On Two Notions of Computation in Transparent Intensional Logic
I Pezlar
Axiomathes 29 (2), 189-205, 2019
42019
Towards a More General Concept of Inference
I Pezlar
Logica Universalis 8 (1), 61-81, 2014
42014
Epistemická logika: úvod se zaměřením na studenty humanitních oborů
I Pezlar
32015
Je nemonotónní logika logikou?
I Pezlar
Pro-Fil 13 (1), 41-51, 2012
32012
The placeholder view of assumptions and the Curry–Howard correspondence
I Pezlar
Synthese 198 (11), 10109-10125, 2021
22021
Explicitní/implicitní přesvědčení a derivační systémy
J Raclavský, I Pezlar
Filosofický časopis (Philosophical Journal) 67 (1), 89-120, 2019
12019
Proof-Theoretic Semantics and Hyperintensionality
I Pezlar
Logique et Analyse 61 (242), 151-161, 2018
12018
Tichý’s Two-Dimensional Conception of Inference
I Pezlar
Organon F 20 (2), 54-65, 2013
12013
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
Peregrin, Jaroslav. Co je nového v logice
I Pezlar
Studia philosophica 66 (1), 118-119, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20