The present article aims at establishing formal connections between correspondence
phenomena, well known from the area of modal logic, and the theory of display calculi …

Fuzzy logic is intended to model logical reasoning with vague or imprecise statements like
“Petr is young (rich, tall, hungry, etc.)”. It refers to a family of many-valued logics, where the …

We discuss an ongoing line of research in the relational (non topological) semantics of non-
distributive logics. The developments we consider are technically rooted in dual …

This research monograph presents our approach to the general algebraic study of non-
classical logics. More precisely, it offers a systematic study of weakly implicative logics, a …

We define a general family of canonical labelled calculi, of which many previously studied
sequent and labelled calculi are particular instances. We then provide a uniform and …

We show that all extensions of the (non-associative) Gentzen system for distributive full
Lambek calculus by simple structural rules have the cut elimination property. Also …

We introduce the logic LRC, designed to describe and reason about agents' abilities and
capabilities in using resources. The proposed framework bridges two—up to now—mutually …

We present a comprehensive programme analysing the decomposition of proof systems for
non-classical logics into proof systems for other logics, especially classical logic, using an …

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 …

What can (and cannot) be expressed by structural display rules? Given a display calculus,
we present a systematic procedure for transforming axioms into structural rules. The …