3 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Alberto Naibo, Yuta Takahashi
Prawitz formulated the so-called inversion principle as one of the characteristic features of Gentzen's intuitionistic natural deduction. In the literature on proof-theoretic seman…