The Basics of Display Calculi
Tim S. Lyon, Christian Ittner, Timo Eckhardt, Norbert Gratzl · Kriterion – Journal of Philosophy · 2017
Abstract The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed.