Ivo Pezlar

According to our database, Ivo Pezlar authored at least 10 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2024

A logic of judgmental existence and its relation to proof irrelevance.

Ivo Pezlar

CoRR, 2024

Informative Presupposition in Inquisitive Logic.

Vít Puncochár, Ivo Pezlar

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

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, April, 2023

Type Polymorphism, Natural Language Semantics, and TIL.

Ivo Pezlar

J. Log. Lang. Inf., 2023

Constructive validity of a generalized Kreisel-Putnam rule.

Ivo Pezlar

CoRR, 2023

2021

The placeholder view of assumptions and the Curry-Howard correspondence.

Ivo Pezlar

Synth., 2021

Meaning and Computing: Two Approaches to Computable Propositions.

Ivo Pezlar

Proceedings of the Logic, Language, Information, and Computation, 2021

The Placeholder View of Assumptions and the Curry-Howard Correspondence (Extended Abstract).

Ivo Pezlar

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

2020

Composition of Deductions within the Propositions-As-Types Paradigm.

Ivo Pezlar

Logica Universalis, 2020

2014

Towards a More General Concept of Inference.

Ivo Pezlar

Logica Universalis, 2014