This paper presents a uniform and modular method to prove uniform interpolation for several
intermediate and intuitionistic modal logics. The proof-theoretic method uses sequent calculi …

The uniform interpolation property in a given logic can be understood as the definability of
propositional quantifiers. We mechanise the computation of these quantifiers and prove …

A variety V is said to be coherent if every finitely generated subalgebra of a finitely presented
member of V is finitely presented. It is shown here that coherence corresponds to a key …

In [7] and [8], Iemhoff introduced a connection between the existence of a terminating
sequent calculi of a certain kind and the uniform interpolation property of the super …

We introduce a universal algebraic generalization of de Jongh's notion of dependence for
formulas of intuitionistic propositional logic, relating it to a notion of dependence defined by …

Abstract In [7] and [8], Iemhoff introduced a connection between the existence of a
terminating sequent calculus of a certain kind and the uniform interpolation property of the …

In this thesis, entitled Cuts and Completions: Algebraic aspects of structural proof theory, we
look at different aspects of the interplay between structural proof theory and algebraic …

This work studies Craig interpolation for the logic SkNMILL, a substructural logic admitting
only a directed notion of associativity and unitality. In this setting, Craig interpolation cannot …

This thesis examines different aspects of the interplay between proof theory and algebraic
semantics for several non-classical propositional logics. We begin with a short and rather …

Proof Systems: A Study on Form and Complexity This dissertation includes three parts. The
first two parts are related to each other. In [2] and [1], Iemhoff introduced a connection …