7 citations · 7 across the 4 of their papers we have counts for
1 paper · 1 filter
Giovanni Birolo
We present a new set of reductions for derivations in natural deduction that can extract witnesses from closed derivations of simply existential formulas in Heyting Arithmetic (HA)…