Login / Signup
Ivo Pezlar
ORCID
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 7
Top Topics
Logical Formulas
Natural Language
Stereo Correspondence
Pros And Cons
Top Venues
Logica Universalis
CoRR
WoLLIC
J. Log. Lang. Inf.
</>
Publications
</>
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)