Return to Article Details Tautology Elimination, Cut Elimination, and S5 Download Download PDF