Masaryk University

Publication Records

česky | in English

Filter publications

    2020

    1. Filozofie za horizontem událostí I 2020 (Philosophy beyond events horizon I 2020)
      RACLAVSKÝ, Jiří, Daniel ŠPELDA, Marek PICHA and Ivo PEZLAR. Filozofie za horizontem událostí I 2020 (Philosophy beyond events horizon I 2020). 2020.
      More: https://is.muni.cz/publication/1779439/en

    2019

    1. Explicitní/implicitní přesvědčení a derivační systémy (Explicit/Implicit Belief and Derivation System)
      RACLAVSKÝ, Jiří and Ivo PEZLAR. Explicitní/implicitní přesvědčení a derivační systémy (Explicit/Implicit Belief and Derivation System). Filosofický časopis. Praha: Filosofický ústav AV ČR, 2019, vol. 67, No 1, p. 89-120. ISSN 0015-1831.
      More: https://is.muni.cz/publication/1512816/en

    2018

    1. Proof-Theoretic Semantics and Hyperintensionality
      PEZLAR, Ivo. Proof-Theoretic Semantics and Hyperintensionality. Logique et Analyse. 2018, vol. 61, No 242, p. 151-161. ISSN 0024-5836. Available from: https://dx.doi.org/10.2143/LEA.242.0.3284748.
      More: https://is.muni.cz/publication/1420657/en

    2017

    1. Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach
      PEZLAR, Ivo. Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach. Logic and Logical Philosophy. Nicolaus Copernicus University, 2017, vol. 26, No 4, p. 473-508. ISSN 1425-3305. Available from: https://dx.doi.org/10.12775/LLP.2017.010.
      More: https://is.muni.cz/publication/1381535/en
    2. CaL2017: Cognition and Language
      ONDRÁČEK, Tomáš, Michal STRÁNSKÝ, Jan ŠTĚPÁNEK, Danica JEŽOVÁ, Iva SVAČINOVÁ, Martin PROKOP, Zdeněk TRÁVNÍČEK, Ivo PEZLAR, Václav HYNČICA, Jan BRÁZDIL and Oliver PAČUT. CaL2017: Cognition and Language. 2017.
      More: https://is.muni.cz/publication/1398209/en
    3. Derivable Belief and Hyperintensional Algorithmic Semantics
      RACLAVSKÝ, Jiří and Ivo PEZLAR. Derivable Belief and Hyperintensional Algorithmic Semantics. In European Congress of Analytical Philosophy ECAP9. 2017.
      More: https://is.muni.cz/publication/1387886/en
    4. Proof-Theoretic Semantics, by Nissim Francez.
      PEZLAR, Ivo. Proof-Theoretic Semantics, by Nissim Francez. Mind. Oxford University Press, 2017, vol. 126, No 501, p. 299-304. ISSN 1460-2113. Available from: https://dx.doi.org/10.1093/mind/fzw056.
      More: https://is.muni.cz/publication/1366080/en

    2016

    1. 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)
      PEZLAR, Ivo. 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). In 21st Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, 9th - 13th April 2016. 2016.
      More: https://is.muni.cz/publication/1344832/en

    2015

    1. Desire-Based Model of Reasoning
      PEZLAR, Ivo. Desire-Based Model of Reasoning. In Romportl, Jan; Zackova, Eva; Kelemen, Jozef. Beyond Artificial Intelligence : The Disappearing Human-Machine Divide (Topics in Intelligent Engineering and Informatics). Cham: Springer International Publishing, 2015, p. 143-157. ISBN 978-3-319-09667-4. Available from: https://dx.doi.org/10.1007/978-3-319-09668-1_11.
      More: https://is.muni.cz/publication/1199863/en
    2. Epistemická logika: úvod se zaměřením na studenty humanitních oborů
      PEZLAR, Ivo. Epistemická logika: úvod se zaměřením na studenty humanitních oborů. 1. vyd. Brno, 2015, 185 pp. ISBN 978-80-210-7791-1.
      More: https://is.muni.cz/publication/1311260/en
    3. Epistemická logika: úvod se zaměřením na studenty humanitních oborů
      PEZLAR, Ivo. Epistemická logika: úvod se zaměřením na studenty humanitních oborů. 1. vyd. Brno, 2015, 185 pp. ISBN 978-80-210-7791-1.
      More: https://is.muni.cz/publication/1298957/en
    4. Natural language and proof-theoretic semantics : denotational ghosts in inferential machine
      PEZLAR, Ivo. Natural language and proof-theoretic semantics : denotational ghosts in inferential machine. In 5th World Congress and School on Universal Logic, 25.-30. 6. 2015, Istanbul. 2015.
      More: https://is.muni.cz/publication/1310385/en
    5. Přežití nejelegantnějšího aneb na vzhledu logického systému taky záleží (BRAK, 23. 11. 2015, Brno) (Survival of the most elegant. Why representation of logical system also matters (BRAK, 23. 11. 2015, Brno))
      PEZLAR, Ivo. Přežití nejelegantnějšího aneb na vzhledu logického systému taky záleží (BRAK, 23. 11. 2015, Brno) (Survival of the most elegant. Why representation of logical system also matters (BRAK, 23. 11. 2015, Brno)). In BRAK. 2015.
      More: https://is.muni.cz/publication/1324258/en
    6. Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator (Transparent intensional logic a characteristica universalis and calculus ratiocinator)
      RACLAVSKÝ, Jiří, Petr KUCHYŇKA and Ivo PEZLAR. Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator (Transparent intensional logic a characteristica universalis and calculus ratiocinator). 1. vyd. Brno: Masarykova univerzita, 2015, 322 pp. ISBN 978-80-210-7973-1.
      More: https://is.muni.cz/publication/1311218/en
    7. Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator (Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator)
      RACLAVSKÝ, Jiří, Petr KUCHYŇKA and Ivo PEZLAR. Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator (Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator). 1. vyd. Brno: Masarykova univerzita, 2015, 312 pp. ISBN 978-80-210-7973-1.
      More: https://is.muni.cz/publication/1323389/en
    8. Type-Theoretical Approaches to Problems and Solutions
      PEZLAR, Ivo. Type-Theoretical Approaches to Problems and Solutions. In 15th Congress of Logic, Methodology and Philosophy of Science, 3.-8. August, 2015, Helsinki. 2015.
      More: https://is.muni.cz/publication/1310387/en

    2014

    1. Functional Reimagination of Jaśkowski's Suppositional Logic (Trends in Logic XIII, 4. 7. 2014, Łódź)
      PEZLAR, Ivo. Functional Reimagination of Jaśkowski's Suppositional Logic (Trends in Logic XIII, 4. 7. 2014, Łódź). In Trends in Logic XIII - Studia Logica International Conference, Łódź, 2nd July - 5th July 2014. 2014.
      More: https://is.muni.cz/publication/1199866/en
    2. Funkcionální interpretace Jaśkowského kalkulu (Logic Café, 15. 3. 2014, Brno) (Functional Interpretation of Jaśkowski’s Calculus)
      PEZLAR, Ivo. Funkcionální interpretace Jaśkowského kalkulu (Logic Café, 15. 3. 2014, Brno) (Functional Interpretation of Jaśkowski’s Calculus). In Logic Café Brno 2014. 2014.
      More: https://is.muni.cz/publication/1199865/en
    3. Logic as a Toolbox
      PEZLAR, Ivo. Logic as a Toolbox. In The Future of Philosophy. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2014, p. 73-85. ISBN 978-80-244-4316-4.
      More: https://is.muni.cz/publication/1218721/en
    4. Paralely vědy a filozofie (Parallels of Science and Philosophy)
      STRÁNSKÝ, Michal, Ivo PEZLAR, Jan VOTAVA and Tomáš ONDRÁČEK. Paralely vědy a filozofie (Parallels of Science and Philosophy). 2014.
      More: https://is.muni.cz/publication/1217560/en
    5. Problems and solutions in the framework of procedural semantics
      PEZLAR, Ivo. Problems and solutions in the framework of procedural semantics. In Oberseminar Logik und Sprachtheorie, Tübingen, 2. 12. 2014. 2014.
      More: https://is.muni.cz/publication/1216166/en
    6. Towards a More General Concept of Inference
      PEZLAR, Ivo. Towards a More General Concept of Inference. Logica Universalis. Švýcarsko: Springer Basel, 2014, vol. 8, No 1, p. 61-81. ISSN 1661-8297. Available from: https://dx.doi.org/10.1007/s11787-014-0095-3.
      More: https://is.muni.cz/publication/1199870/en
    7. Two-Dimensional Calculus for TIL Constructions (PhDs in Logic VI, 24. 4. 2014, Utrecht)
      PEZLAR, Ivo. Two-Dimensional Calculus for TIL Constructions (PhDs in Logic VI, 24. 4. 2014, Utrecht). In PhDs in Logic VI, Utrecht, 24th - 25th April 2014. 2014.
      More: https://is.muni.cz/publication/1199867/en
    8. Workshop: Technika filozofie. Experimentální týmová argumentace (Workshop: A Technique of Philosophy. Experimental Team Argumentation)
      STRÁNSKÝ, Michal, Ivo PEZLAR, Jan VOTAVA and Tomáš ONDRÁČEK. Workshop: Technika filozofie. Experimentální týmová argumentace (Workshop: A Technique of Philosophy. Experimental Team Argumentation). 2014.
      More: https://is.muni.cz/publication/1217570/en
    9. Workshop: Technika filozofie. Simulace filozofického diskurzu (Workshop: A Technique of Philosophy. Philosophical Discussion Simulation)
      STRÁNSKÝ, Michal, Ivo PEZLAR, Jan VOTAVA and Tomáš ONDRÁČEK. Workshop: Technika filozofie. Simulace filozofického diskurzu (Workshop: A Technique of Philosophy. Philosophical Discussion Simulation). 2014.
      More: https://is.muni.cz/publication/1217572/en

    2013

    1. Konstrukce a důkazy (Constructions and Proofs)
      PEZLAR, Ivo. Konstrukce a důkazy (Constructions and Proofs). In Mladá filozofia: Povaha súčasnej filozofie a jej metódy, Bratislava, 21.-22.3.2013. 2013.
      More: https://is.muni.cz/publication/1092800/en
    2. Tichý’s Two-Dimensional Conception of Inference
      PEZLAR, Ivo. Tichý’s Two-Dimensional Conception of Inference. Organon F : filozofický časopis. Bratislava: Filosofický ústav SAV, 2013, roč. 20, Supplementary Issue 2, p. 54-65. ISSN 1335-0668.
      More: https://is.muni.cz/publication/1123123/en
    3. Towards a More General Concept of Inference
      PEZLAR, Ivo. Towards a More General Concept of Inference. In Oberseminar Logik und Sprachtheorie. 2013.
      More: https://is.muni.cz/publication/1123049/en
    4. What Are the Inference Steps Really Stepping on? Brief History of Two-Dimensional Inference (konference)
      PEZLAR, Ivo. What Are the Inference Steps Really Stepping on? Brief History of Two-Dimensional Inference (konference). In 4th World Congress and School on Universal Logic, Rio de Janeiro, 29th March - 7th April 2013. 2013.
      More: https://is.muni.cz/publication/1102537/en
    5. Workshop: Technika filozofie. Přednáška s částečně anonymní diskuzí (Workshop: A Technique of Philosophy. Lecture With Partially Anonymous Discussion)
      STRÁNSKÝ, Michal, Ivo PEZLAR and Jan VOTAVA. Workshop: Technika filozofie. Přednáška s částečně anonymní diskuzí (Workshop: A Technique of Philosophy. Lecture With Partially Anonymous Discussion). 2013.
      More: https://is.muni.cz/publication/1217565/en
    6. Workshop: Technika filozofie. Slabě moderovaná diskuze (Workshop: A Technique of Philosophy. Moderately Moderated Discussion)
      STRÁNSKÝ, Michal, Ivo PEZLAR and Jan VOTAVA. Workshop: Technika filozofie. Slabě moderovaná diskuze (Workshop: A Technique of Philosophy. Moderately Moderated Discussion). 2013.
      More: https://is.muni.cz/publication/1217567/en

    2012

    1. Humean Machine: When Desires Are in Charge
      PEZLAR, Ivo. Humean Machine: When Desires Are in Charge. In Romportl, Jan; Ircing, Pavel, Zackova, Eva, Polak, Michal, Schuster, Radek. Beyond AI: Artificial Dreams - Proceedings of the International Conference Beyond AI 2012. 1st ed. Pilsen: University of West Bohemia, 2012, p. 1-9. ISBN 978-80-261-0102-4.
      More: https://is.muni.cz/publication/1072481/en
    2. Je nemonotónní logika logikou? (Is a nonmonotonic logic really a logic?)
      PEZLAR, Ivo. Je nemonotónní logika logikou? (Is a nonmonotonic logic really a logic?). Profil - Elektronický časopis pro filozofii. Brno: Katedra filosofie FF MU, 2012, roč. 13, č. 1, p. 41-51. ISSN 1212-9097.
      More: https://is.muni.cz/publication/1071103/en
    3. Modal Explication of Truth (konference)
      PEZLAR, Ivo. Modal Explication of Truth (konference). In 1st WFAP Graduate Conference 2012: "Nothing but the Truth". 2012.
      More: https://is.muni.cz/publication/1072576/en
    4. Russellův prvotní hřích: therefore-relace jako předchůdce logické implikace? (konference) (Russell’s Original Sin: Therefore-relation as the Predecessor of Logical Implication?)
      PEZLAR, Ivo. Russellův prvotní hřích: therefore-relace jako předchůdce logické implikace? (konference) (Russell’s Original Sin: Therefore-relation as the Predecessor of Logical Implication?). In Bertrand Russell. 2012.
      More: https://is.muni.cz/publication/1072577/en
    5. Tichého dvoudimenzionální pojetí inference (konference) (Tichý's Two-Dimensional Conception of Inference)
      PEZLAR, Ivo. Tichého dvoudimenzionální pojetí inference (konference) (Tichý's Two-Dimensional Conception of Inference). In Systémy dedukcie: od extenzionálnej logiky k hyperintenzionálnej logike. 2012.
      More: https://is.muni.cz/publication/1072578/en

    2010

    1. Co je epistemický výrok? (What is Epistemic Proposition?)
      PEZLAR, Ivo. Co je epistemický výrok? (What is Epistemic Proposition?). Profil - Elektronický časopis pro filozofii. Brno: Katedra filosofie FF MU, 2010, vol. 11, No 1. ISSN 1212-9097.
      More: https://is.muni.cz/publication/1072721/en
    2. Svoboda, V. a kol. Logika a přirozený jazyk (recenze) (Svoboda, V. a kol. Logika a přirozený jazyk (review))
      PEZLAR, Ivo. Svoboda, V. a kol. Logika a přirozený jazyk (recenze) (Svoboda, V. a kol. Logika a přirozený jazyk (review)). Profil - Elektronický časopis pro filozofii. Brno: Katedra filosofie FF MU, 2010, vol. 11, No 2, 3 pp. ISSN 1212-9097.
      More: https://is.muni.cz/publication/1072575/en
Display details
Displayed: 24/4/2024 20:56