33 citations · 87 across the 15 of their papers we have counts for
1 paper · 1 filter
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…