research
∙
09/01/2023
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised
We provide a new sequent calculus that enjoys syntactic cut-elimination ...
share
research
∙
05/18/2023
Universal Proof Theory, TACL 2022 Lecture Notes
The subject of these short lecture notes is a recently emerging area wit...
research
∙
08/10/2022
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics
In this paper, a proof-theoretic method to prove uniform Lyndon interpol...
research
∙
08/09/2022
