Follow
Ivo Pezlar
Ivo Pezlar
Institute of Philosophy of the Czech Academy of Sciences
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
17*2015
On two notions of computation in transparent intensional logic
I Pezlar
Axiomathes 29 (2), 189-205, 2019
72019
Algorithmic Theories of Problems
I Pezlar
Logic and Logical Philosophy 26 (4), 473-508, 2017
72017
Towards a More General Concept of Inference
I Pezlar
Logica Universalis 8 (1), 61-81, 2014
52014
Epistemická logika: úvod se zaměřením na studenty humanitních oborů
I Pezlar
Masarykova univerzita nakladatelství, 2015
42015
The placeholder view of assumptions and the Curry–Howard correspondence
I Pezlar
Synthese 198 (11), 10109-10125, 2021
32021
Proof-theoretic semantics and hyperintensionality
I Pezlar
Logique et Analyse 242, 151-161, 2018
32018
Je nemonotónní logika logikou?
I Pezlar
Pro-Fil 13 (1), [41]-51, 2012
32012
Constructive validity of a generalized Kreisel–Putnam rule
I Pezlar
Studia Logica, 1-33, 2024
22024
Type Polymorphism, Natural Language Semantics, and TIL
I Pezlar
Journal of Logic, Language and Information 32 (2), 275-295, 2023
22023
A Note on Paradoxical Propositions from an Inferential Point of View
I Pezlar
22021
Investigations into Transparent Intensional Logic: A Rule-based Approach
I Pezlar
Masaryk University, 2016
22016
Tichý’s Two-Dimensional Conception of Inference
I Pezlar
Organon F 20 (2), 54-65, 2013
22013
From Explosion to Implosion: A New Justification for the Ex Falso Quodlibet Rule
I Pezlar
Erkenntnis, 1-23, 2024
12024
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
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
The system can't perform the operation now. Try again later.
Articles 1–20