Follow
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
102015
Algorithmic Theories of Problems
I Pezlar
Logic and Logical Philosophy 26 (4), 473-508, 2017
62017
On two notions of computation in transparent intensional logic
I Pezlar
Axiomathes 29 (2), 189-205, 2019
52019
Epistemická logika: úvod se zaměřením na studenty humanitních oborů
I Pezlar
42015
Towards a More General Concept of Inference
I Pezlar
Logica Universalis 8 (1), 61-81, 2014
42014
Je nemonotónní logika logikou?
I Pezlar
Pro-Fil–An Internet Journal of Philosophy 13 (1), 41–51-41–51, 2012
32012
The placeholder view of assumptions and the Curry–Howard correspondence
I Pezlar
Synthese 198 (11), 10109-10125, 2021
22021
Proof-theoretic semantics and hyperintensionality
I Pezlar
Logique et Analyse 242, 151-161, 2018
22018
Investigations into Transparent Intensional Logic: A Rule-based Approach
I Pezlar
Masaryk University, 2016
22016
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
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
Type Polymorphism, Natural Language Semantics, and TIL
I Pezlar
Journal of Logic, Language and Information, 1-21, 2022
2022
Proof and Falsity: A Logical Investigation
IVO PEZLAR
STUDIA LOGICA, 2022
2022
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
2022
Associativity of deduction composition in natural deduction
I Pezlar
Day 1, Track B 23, 21, 2022
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
Composition of Deductions within the Propositions-As-Types Paradigm
I Pezlar
Logica Universalis 14 (4), 481-493, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20