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 …

There are a lot of excellent works in proof theory using various forms of Sequent Calculi (SC)
as the basic formal systems. 1 This book is of a different character. It is not a systematic …

We introduce the framework of linear nested sequent calculi by restricting nested sequents
to linear structures. We show the close connection between this framework and that of 2 …

This thesis introduces the" method of structural refinement", which serves as a means of
transforming the relational semantics of a modal and/or constructive logic into …

In this paper, we introduce hypersequent calculi for some modal logics extending S4 modal
logic. In particular, we uniformly characterize hypersequent calculi for S4, S4. 2, S4. 3, S5 in …

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 …

This paper presents an overview of the methods of hypersequents and display sequents in
the proof theory of non-classical logics. In contrast with existing surveys dedicated to …

Scan-based Design-for-Test (DFT) is a widely deployed technique for testing hardware
chips. Using this approach, all flip-flops in the design under test are connected to a scan …

We continue our program of establishing connections between proof-theoretic and order-
algebraic properties in the setting of substructural logics and residuated lattices. Extending …