Mgr. Ivo Pezlar, Ph.D.
odborný pracovník ve výzkumu – Katedra filozofie
Počet publikací: 37
2020
-
Filozofie za horizontem událostí
Rok: 2020, druh: Uspořádání konference
2019
-
Explicitní/implicitní přesvědčení a derivační systémy
Filosofický časopis, rok: 2019, ročník: 67, vydání: 1
2018
-
Proof-Theoretic Semantics and Hyperintensionality
Logique et Analyse, rok: 2018, ročník: 61, vydání: 242, DOI
2017
-
Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach
Logic and Logical Philosophy, rok: 2017, ročník: 26, vydání: 4, DOI
-
CaL2017: Cognition and Language
Rok: 2017, druh: Uspořádání konference
-
Derivable Belief and Hyperintensional Algorithmic Semantics
Rok: 2017, druh: Konferenční abstrakty
-
Proof-Theoretic Semantics, by Nissim Francez.
Mind, rok: 2017, ročník: 126, vydání: 501, DOI
2016
-
A Few Notes on Lambda-Computation and TIL-Construction (21st Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, 10. 5. 2016)
Rok: 2016, druh: Další prezentace na konferencích
2015
-
Desire-Based Model of Reasoning
Beyond Artificial Intelligence : The Disappearing Human-Machine Divide (Topics in Intelligent Engineering and Informatics), rok: 2015
-
Epistemická logika: úvod se zaměřením na studenty humanitních oborů
Rok: 2015, vydání: 1. vyd., počet stran: 185 s.