A recent strand of research in structural proof theory aims at exploring the notion of analytic
calculi (ie, those calculi that support general and modular proof-strategies for cut …

We introduce proper display calculi for basic monotonic modal logic, the conditional logic
CK and a number of their axiomatic extensions. These calculi are sound, complete …

We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear
logics with exponentials, which are sound, complete, conservative, and enjoy cut elimination …

By exploiting the algebraic and order theoretic mechanisms behind Sahlqvist
correspondence, the theory of unified correspondence provides powerful tools for …

We provide a generalisation of Kripke semantics for Petr Hajek's Basic Logic and prove
soundness and completeness of the same with respect to our semantics. We find this …

Multi-type algebras are special type of heterogeneous algebras used in previous research to
provide multi-type algebraic semantics for logics such as Semi De Morgan logic [2], and …

Multi-type algebras are special kinds of heterogeneous algebras [1] which can be
represented as the corresponding single-type algebras and vice versa. The motivation for …

We provide a generalisation of Kripke semantics for Petr Hajek's Basic Logic and prove
soundness and completeness of the same with respect to our semantics. We find this …