[T] he framework of ordinary sequents is not capable of handling all interesting logics. There
are logics with nice, simple semantics and obvious interest for which no decent, cut-free …

Negation is in the first place a phenomenon of semantic opposition. As such, negation
relates an expression\(e\) to another expression with a meaning that is in some way …

The book presents a thoroughly elaborated logical theory of generalized truth-values
understood as subsets of some established set of (basic) truth values. After elucidating the …

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 …

A kind of a bi-intuitionistic propositional logic is introduced that combines verification and its
dual. This logic, 2Int, is motivated by a certain dualization of the natural deduction rules for …

In this paper, a family of paraconsistent propositional logics with constructive negation,
constructive implication, and constructive co-implication is introduced. Although some …

We introduce two-dimensional logics based on Łukasiewicz and Gödel logics to formalize
reasoning with graded, incomplete and inconsistent information. The logics are interpreted …

In the present article, we introduce a multi-type display calculus for dynamic epistemic logic,
which we refer to as Dynamic Calculus. The display approach is suitable to modularly chart …

The aim of this paper is to obtain a theoretical foundation of inconsistency-tolerant (or
paraconsistent) reasoning by presenting a comprehensive study of the structural proof …

In this paper it is suggested to generalize our understanding of general (structural) proof
theory and to consider it as a general theory of two kinds of derivations, namely proofs and …