Publications

Books

   

Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator (co-authors Jiri Raclavsky and Petr Kuchynka) [in Czech]. Brno: Masaryk University Press, 2015. ISBN 978-80-210-7973-1. (English summary)
- received Dean's Award for Outstanding Creative Achievement in 2016 (Faculty of Arts, Masaryk University)

Epistemic Logic: An Introduction for Students of Humanities [in Czech]. Brno: Masaryk University Press, 2015. ISBN 978-80-210-7791-1. (abstract, ⇩ PDF)
- reviews (in Czech): Štěpánek, Jan. Studia philosophica, Vol. 62, No. 2 (2015), pp. 134-135. (online)

Papers, proceedings, chapters

Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions. In Igor Sedlár and Martin Blicha (eds.). The Logica Yearbook 2018. London: College Publications, 2019, pp. 197-210. ISBN 978-1-84890-307-4. (⇩ preprint)

Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory. In Rainer Osswald, Christian Retoré, Peter Sutton (eds.). Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures. Stroudsburg, PA: Association for Computational Linguistics, 2019. pp. 10-18. ISBN 978-1-950737-25-3. (online)

Explicit/Implicit Belief and Derivation Systems [with Jiri Raclavsky; in Czech]. Filosofický časopis, Vol 67, No. 1 (2019). (abstract)

On Two Notions of Computation in Transparent Intensional Logic. Axiomathes, Vol 29, No. 2 (2019), pp. 189-205. https://doi.org/10.1007/s10516-018-9401-7

Proof-Theoretic Semantics and Hyperintensionality. Logique et Analyse, Vol 61, No. 242 (2018), pp. 151-161. https://doi.org/10.2143/LEA.242.0.3284748

Algorithmic Theories of Problems: A Constructive and a Non-Constructive Approach. Logic and Logical Philosophy, Vol 26, No. 4 (2017), pp. 473-508. http://dx.doi.org/10.12775/LLP.2017.010 (⇩ PDF)

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. pp. 143-157. ISBN 978-3-319-09667-4. https://doi.org/10.1007/978-3-319-09668-1_11

Towards a More General Concept of Inference. Logica Universalis, Vol. 8, No. 1 (2014), pp. 61-81. https://doi.org/10.1007/s11787-014-0095-3

Logic as a Toolbox. In The Future of Philosophy. Olomouc: Palacky University Olomouc, 2014. pp. 73-85. ISBN 978-80-244-4316-4. (⇩ PDF)

Tichý’s Two-Dimensional Conception of Inference. Organon F, Vol. 20, Supplementary Issue 2 (2013), pp. 54-65. (abstract, ⇩ PDF)

Humean Machine: When Desires Are in Charge. In Jan Romportl, Pavel Ircing, Eva Zackova, Michal Polak, Radek Schuster (eds.). Beyond AI: Artificial Dreams - Proceedings of the International Conference Beyond AI 2012. 1st ed. Pilsen: University of West Bohemia, 2012. pp. 1-9. ISBN 978-80-261-0102-4.

Is Nonmonotonic Logic a Logic? [in Czech]. Pro-Fil, Vol. 13, No. 1 (2012), pp. 41-51. https://doi.org/10.5817/pf13-1-297 (⇩ PDF)

Reviews

Materna, Pavel. Talks about Concept [in Czech: Hovory o pojmu]. Teorie vědy / Theory of Science, Vol. 39, No. 1 (2017). (online, ⇩ PDF)

Francez, Nissim. Proof-Theoretic Semantics. Mind, Vol. 126, No. 501 (2017). https://doi.org/10.1093/mind/fzw056 (online)

Svoboda, V. et al. Logic and Natural Language [in Czech]. Pro-Fil, Vol. 11, No. 2 (2010). https://doi.org/10.5817/pf11-2-46 (⇩ PDF)

Invited talks

Composition of Deductions within the Propositions as Types Paradigm. In Seminar of the Department of Logic, Prague, 2019.

Transparent Intensional Logic and Proof Analysis. In Logic Cafe, Ostrava, 2019.

Survival of the Most Elegant: Why the Appearance of Logical Systems Also Matters [in Czech]. In BRAK, Brno, 2015.

An Introduction to Epistemic Logic [in Czech]. In Brno, 2015.

Problems and Solutions in the Framework of Procedural Semantics. In Oberseminar Logik und Sprachtheorie, Tübingen, 2014.

Logic as a Toolbox. In The Future of Philosophy Workshop, Olomouc, 2013.

Towards a More General Concept of Inference. In Oberseminar Logik und Sprachtheorie, Tübingen, 2013.

Conference talks

Analysis of Incorrect Proofs. In 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019), Prague, 2019.

Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory. In 13th International Conference on Computational Semantics (IWCS 2019) - Workshop on Computing Semantics with Types, Frames and Related Structures, Gothenburg, 2019.

Understanding Incorrect Proofs. In ExLog 2019 (Explaining explanation using new developments in logic and formal semantics: Hyperintensionality, relevance, counterfactuals, grounding and truthmaker semantics), Louvain-la-Neuve, 2019.

Non-Constructive Procedural Theory of Problems. In LOGICA 2018, Hejnice Monastery, 2018.

Derivable Belief and Hyperintensional Algorithmic Semantics (co-author Jiri Raclavsky). In 9th European Congress of Analytic Philosophy, Munich, 2017.

Explicit Substitution of Identicals in Hyperintensional Contexts (main author: Jiri Raclavsky). In 8th Conference: Non-Classical Logics. Theory and Applications, Łódź, 2016.

A Few Notes on Lambda-Computation and TIL-Construction. In 21st Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, 2016.

Type-Theoretical Approaches to Problems and Solutions. In 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki, 2015.

Natural Language and Proof-Theoretic Semantics: Denotational Ghosts in Inferential Machine. In 5th World Congress and School on Universal Logic, Istanbul, 2015.

Two-Dimensional Calculus for TIL Constructions. In PhDs in Logic VI, Utrecht, 2014.

Functional Reimagination of Jaśkowski’s Suppositional Logic. In Trends in Logic XIII - Studia Logica International Conference, Łódź, 2014.

Functional Interpretation of Jaśkowski’s Calculus [in Czech]. In Logic Café, Brno, 2014.

What Are the Inference Steps Really Stepping on? Brief History of Two-Dimensional Inference. In 4th World Congress and School on Universal Logic, Rio de Janeiro, 2013.

Constructions and Proofs [in Czech]. In Young Philosophy: The Character of Current Philosophy and its Methods, Bratislava, 2013.

Humean Machine: When Desires Are in Charge. Beyond AI: Artificial Dreams, Pilsen, 2012.

Tichý’s Two-Dimensional Conception of Inference. In Systems of Deduction: From Extensional Logic to Hyperintensional Logic [in Czech]. Dolná Krupá, 2012.

Russell’s Original Sin: Therefore-relation as a Precursor of Logical Implication? [in Czech]. In Bertrand Russell, Pilsen, 2012.

Modal Explication of Truth. In 1st WFAP Graduate Conference 2012: “Nothing but the Truth”, Vienna, 2012.

Other talks

Digital Publishing - A Few Remarks [in Czech]. In Janacek Academy of Music and Performing Arts -- Editorial Activities Meeting, Brno, 2017.

Open Journal Systems - A Brief Introduction [in Czech]. In Masaryk University Press Seminar, Brno, 2014.

Miscellanea

Logica 2013 report [in Czech]. Filosoficky casopis, Vol. 61, No. 4 (2013), pp. 625-627.


✉ contact: moc.liamg[ta]ralzep.ovi