The Basics of Display Calculi

Tim LyonTim Lyon, Christian IttnerChristian Ittner, Timo EckhardtTimo Eckhardt, Norbert GratzlNorbert Gratzl

ISSN: 10198288
Download

Tim Lyon, Christian Ittner, Timo Eckhardt, Norbert Gratzl
The Basics of Display Calculi
Kriterion -- Journal of Philosophy, 31(2):55-100, 2017

Details
Bibtex

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}
}