Logo Logo
Switch Language to German

Lyon, Tim; Ittner, Christian; Eckhardt, Timo and Gratzl, Norbert (2017): The Basics of Display Calculi. In: Kriterion — Journal of Philosophy, Vol. 31, No. 2: pp. 55-100 [PDF, 396kB]


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.

Actions (login required)

View Item View Item