•  13
    The Basics of Display Calculi
    with Tim Lyon, Christian Ittner, and Norbert Gratzl
    Kriterion - Journal of Philosophy 31 (2): 55-100. 2017.
    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.