The Basics of Display Calculi

From International Center for Computational Logic

Toggle side column

The Basics of Display Calculi

Tim LyonTim Lyon,  Christian IttnerChristian Ittner,  Timo EckhardtTimo Eckhardt,  Norbert GratzlNorbert Gratzl
The Basics of Display Calculi


Tim Lyon, Christian Ittner, Timo Eckhardt, Norbert Gratzl
The Basics of Display Calculi
Kriterion -- Journal of Philosophy, 31(2):55-100, 2017
  • KurzfassungAbstract
    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.
  • Weitere Informationen unter:Further Information: Link
  • Forschungsgruppe:Research Group: Computational LogicComputational Logic
@Article{bibkey,
title = {The Basics of Display Calculi},
author = {Tim Lyon and Christian Ittner and Timo Eckhardt and Norbert Gratzl},
journal = {Kriterion -- Journal of Philosophy},
pages = {55-100},
volume = {31},
number = {2},
year = {2017},
issn = {10198288}
}