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
TitleCited byYear
Algorithmic Theories of Problems
I Pezlar
Logic and Logical Philosophy 26 (4), 473-508, 2017
52017
Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator
J Raclavský, P Kuchyňka, I Pezlar
Masarykova univerzita, 2015
52015
Je nemonotónní logika logikou?
I Pezlar
Masarykova univerzita, Filozofická fakulta, 2012
32012
On Two Notions of Computation in Transparent Intensional Logic
I Pezlar
Axiomathes 29 (2), 189-205, 2019
22019
Proof-Theoretic Semantics and Hyperintensionality
I Pezlar
Logique et Analyse 61 (242), 151-161, 2018
12018
Towards a More General Concept of Inference
I Pezlar
Logica Universalis 8 (1), 61-81, 2014
12014
Humean Machine: When Desires Are in Charge
I Pezlar
Beyond AI: Artificial Dreams, 1, 0
1
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
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
Explicit/Implicit Belief and Derivational Systems
J Raclavsky, I Pezlar
FILOSOFICKY CASOPIS 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
Proof-Theoretic Semantics, by Nissim Francez
I Pezlar
Mind 126 (501), 299-304, 2016
2016
Desire-Based Model of Reasoning
I Pezlar
Beyond Artificial Intelligence, 143-157, 2015
2015
Logica 2013
I Pezlar
FILOSOFICKY CASOPIS 61 (4), 625-627, 2013
2013
Tichý’s Two-Dimensional Conception of Inference
I Pezlar
Organon F. medzinárodný časopis pre analytickú filozofiu, 54–65, 2013
2013
Vladimír Svoboda a kol. Logika a přirozený jazyk
I Pezlar
Pro-Fil 11 (2), 2011
2011
Epistemická logika a logická vševědoucnost v rámci modální intenzionální logiky
I PEZLAR
Masarykova univerzita, Filozofická fakulta, 2010
2010
Svoboda, Vladimír a kol. Logika a přirozený jazyk
I Pezlar
Russelluv prvotní hrích: therefore-relace jako predchudce logické implikace?
I Pezlar
The system can't perform the operation now. Try again later.
Articles 1–20