Cut-restriction: from cuts to analytic cuts

Agata Ciabattoni, Timo Lang, Revantha Ramanayake

Cut-elimination is the bedrock of proof theory with a multitude of applications from computational interpretations to proof analysis. It is also the starting point for important me…