Towards a More General Concept of Inference. - Ivo Pezlar (Logica Universalis, 2014)

Composition of Deductions within the Propositions-As-Types Paradigm. - Ivo Pezlar (Logica Universalis, 2020)

The Placeholder View of Assumptions and the Curry-Howard Correspondence (Extended Abstract). - Ivo Pezlar (CLAR, 2021)

Meaning and Computing: Two Approaches to Computable Propositions. - Ivo Pezlar (WoLLIC, 2021)

The placeholder view of assumptions and the Curry-Howard correspondence. - Ivo Pezlar (Synth., 2021)

Constructive validity of a generalized Kreisel-Putnam rule. - Ivo Pezlar (CoRR, 2023)

Type Polymorphism, Natural Language Semantics, and TIL. - Ivo Pezlar (J. Log. Lang. Inf., 2023)

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 (Hardcover)£78.99, ISBN: 978-110-86-2517-3 (eBook) $26.00. - Ivo Pezlar (Stud Logica, 2023)

Informative Presupposition in Inquisitive Logic. - Vít Puncochár; Ivo Pezlar (AiML, 2024)

A logic of judgmental existence and its relation to proof irrelevance. - Ivo Pezlar (CoRR, 2024)