7 citations · 23 across the 18 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 2 cited
Herbrand-Confluence
Stefan Hetzl, Lutz Straßburger
We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly…
cs.LO2013
Expansion Trees with Cut
Stefan Hetzl, Daniel Weller
Herbrand's theorem is one of the most fundamental insights in logic. From the syntactic point of view it suggests a compact representation of proofs in classical first- and higher-…