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
∙
07/19/2021
Dynamic Lockstep Processors for Applications with Functional Safety Relevance
Lockstep processing is a recognized technique for helping to secure func...
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
∙
06/27/2019