research
∙
04/26/2023
Cut-restriction: from cuts to analytic cuts
Cut-elimination is the bedrock of proof theory with a multitude of appli...
share
research
∙
03/03/2022
A theory of cut-restriction: first steps
Cut-elimination is the bedrock of proof theory. It is the algorithm that...
research
∙
04/20/2021
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics
We establish decidability for the infinitely many axiomatic extensions o...
research
∙
11/06/2019
