Ivo Pezlar

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 8

Top Topics

Logical Formulas

Natural Language

Sequent Calculi

Top Venues

Logica Universalis

J. Log. Lang. Inf.

Publications

Ivo Pezlar
A logic of judgmental existence and its relation to proof irrelevance. CoRR (2024)
Ivo Pezlar
Constructive validity of a generalized Kreisel-Putnam rule. CoRR (2023)
Ivo Pezlar
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 111 (2) (2023)
Ivo Pezlar
Type Polymorphism, Natural Language Semantics, and TIL. J. Log. Lang. Inf. 32 (2) (2023)
Ivo Pezlar
The placeholder view of assumptions and the Curry-Howard correspondence. Synth. 198 (11) (2021)
Ivo Pezlar
The Placeholder View of Assumptions and the Curry-Howard Correspondence (Extended Abstract). CLAR (2021)
Ivo Pezlar
Meaning and Computing: Two Approaches to Computable Propositions. WoLLIC (2021)
Ivo Pezlar
Composition of Deductions within the Propositions-As-Types Paradigm. Logica Universalis 14 (4) (2020)
Ivo Pezlar
Towards a More General Concept of Inference. Logica Universalis 8 (1) (2014)