Authors
Tim Lyon, Christian Ittner, Timo Eckhardt, Norbert Gratzl
Publication date
2017/7/1
Journal
Kriterion–Journal of Philosophy
Volume
31
Issue
2
Pages
55-100
Publisher
De Gruyter
Description
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.
Total citations
20212
Scholar articles
T Lyon, C Ittner, T Eckhardt, N Gratzl - Kriterion–Journal of Philosophy, 2017