most citedA sequent calculus demonstration of Herbrand's theorem

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

collaborators
Showing math.LOShow all

3 papers · 1 filter

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…

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…