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.LO2012

Canonical Proof nets for Classical Logic

Richard McKinley

Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the s…

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…