16 citations · 16 across the 2 of their papers we have counts for
1 paper · 1 filter
Richard McKinley
This paper explores the connection between two central results in the proof theory of classical logic: Gentzen's cut-elimination for the sequent calculus and Herbrands "fundamental…