most citedA sequent calculus demonstration of Herbrand's theorem

2 citations · 2 across the 2 of their papers we have counts for

collaborators

2 papers

math.LO2010★ 2 cited

A sequent calculus demonstration of Herbrand's theorem

Richard McKinley

Herbrand's theorem is often presented as a corollary of Gentzen's sharpened Hauptsatz for the classical sequent calculus. However, the midsequent gives Herbrand's theorem directly…

math.LO2010

Proof nets for Herbrand's Theorem

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…