Cut rules and cut theorems
Katalin Bimbó · Discrete mathematics and its applications · 2014
Axiomatic systems are the oldest proof systems, but they are also the most onerous ones when it comes to finding a proof for a statement. Axioms have their appeal, especially if they are thought to encapsulate some essential, basic, self-evident truths about some area of investigation or some set of objects. Axiomatic systems are not close relatives of sequent calculi, but some other proof systems are.