research
∙
07/21/2023
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
We introduce a Gentzen-style framework, called layered sequent calculi, ...
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
∙
09/19/2022
Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics
In this paper, we introduce a general family of sequent-style calculi ov...
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
Uniform Lyndon interpolation for intuitionistic monotone modal logic
In this paper we show that the intuitionistic monotone modal logic 𝗂𝖬 ha...
research
∙
05/23/2021
Uniform interpolation via nested sequents and hypersequents
A modular proof-theoretic framework was recently developed to prove Crai...
research
∙
06/17/2020
Proof Complexity of Substructural Logics
In this paper, we investigate the proof complexity of a wide range of su...
research
∙
08/19/2018
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
In [7] and [8], Iemhoff introduced a connection between the existence of...
research
∙
08/19/2018