Ivo Pezlar

12 papers B 1C 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Constructive Validity of a Generalized Kreisel-Putnam Rule.
Stud Logica
Ivo Pezlar
2025 J jnl
Hyperintensions as Computations.
J. Philos. Log.
Ivo Pezlar
2024 J jnl
A logic of judgmental existence and its relation to proof irrelevance.
CoRR
Ivo Pezlar
2024 B conf
Informative Presupposition in Inquisitive Logic.
AiML
Vít Puncochár, Ivo Pezlar
2023 J jnl
Constructive validity of a generalized Kreisel-Putnam rule.
CoRR
Ivo Pezlar
2023 J jnl
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.
Stud Logica
Ivo Pezlar
2023 J jnl
Type Polymorphism, Natural Language Semantics, and TIL.
J. Log. Lang. Inf.
Ivo Pezlar
2021 C conf
Meaning and Computing: Two Approaches to Computable Propositions.
WoLLIC
Ivo Pezlar
2021 — conf
The Placeholder View of Assumptions and the Curry-Howard Correspondence (Extended Abstract).
CLAR
Ivo Pezlar
2021 J jnl
The placeholder view of assumptions and the Curry-Howard correspondence.
Synth.
Ivo Pezlar
2020 J jnl
Composition of Deductions within the Propositions-As-Types Paradigm.
Logica Universalis
Ivo Pezlar
2014 J jnl
Towards a More General Concept of Inference.
Logica Universalis
Ivo Pezlar