Ivo Pezlar

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Hyperintensions as computations Journal of Philosophical Logic	2025-11-07	Paper
Going nowhere and back: is trivialization the same as zero execution?	2024-09-06	Paper
The placeholder view of assumptions and the Curry-Howard correspondence Synthese	2023-12-14	Paper
Constructive validity of a generalized Kreisel-Putnam rule	2023-11-26	Paper
Type polymorphism, natural language semantics, and TIL Journal of Logic, Language and Information	2023-06-14	Paper
Book review of: N. Kürbis, Proof and falsity: a logical investigation Studia Logica	2023-04-21	Paper
The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract)	2023-03-31	Paper
Meaning and computing: two approaches to computable propositions	2022-06-24	Paper
scientific article; zbMATH DE number 7503174 (Why is no real title available?)	2022-04-04	Paper
Composition of deductions within the propositions-as-types paradigm Logica Universalis	2021-02-17	Paper
Non-constructive procedural theory of propositional problems and the equivalence of solutions	2021-02-06	Paper
scientific article; zbMATH DE number 7109521 (Why is no real title available?)	2019-09-23	Paper
Algorithmic theories of problems. A constructive and a non-constructive approach Logic and Logical Philosophy	2018-06-13	Paper
Towards a more general concept of inference Logica Universalis	2015-02-05	Paper

Research outcomes over time

This page was built for person: Ivo Pezlar