2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2024
A logic of judgmental existence and its relation to proof irrelevance
Ivo Pezlar
We introduce a simple natural deduction system for reasoning with judgments of the form "there exists a proof of " to explore the notion of judgmental existence following Martin…
cs.LO2023★ 2 cited
Constructive validity of a generalized Kreisel-Putnam rule
Ivo Pezlar
In this paper, we propose a computational interpretation of the generalized Kreisel-Putnam rule, also known as the generalized Harrop rule or simply the Split rule, in the style of…