The Basics of Display Calculi

Lyon, Tim; Ittner, Christian; Eckhardt, Timo und Gratzl, Norbert (2017): The Basics of Display Calculi. In: Kriterion — Journal of Philosophy, Bd. 31, Nr. 2: S. 55-100

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.

• Dokumententyp: Zeitschriftenartikel
• Publikationsform: Preprint
• Keywords: Display calculi; Sequents; Structural proof theory; Cut elimination
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Logic
• Themengebiete: 100 Philosophie und Psychologie > 160 Logik
• ISSN: 1019-8288
• Sprache: Englisch