The Basics of Display Calculi

Kriterion - Journal of Philosophy 31 (2):55-100 (2017)
  Copy   BIBTEX

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.

Other Versions

No versions found

Analytics

Added to PP
2018-02-13

Downloads
503 (#47,250)

6 months
86 (#68,580)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Timo Eckhardt
University College London
Tim Lyon
Technische Universität Dresden

Citations of this work

No citations found.

Add more citations

References found in this work

Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Displaying Modal Logic.Heinrich Wansing - 1998 - Dordrecht, Netherland: Springer.
Displaying Modal Logic.Heinrich Wansing - 2000 - Studia Logica 66 (3):421-426.
Don't eliminate cut.George Boolos - 1984 - Journal of Philosophical Logic 13 (4):373 - 378.

View all 8 references / Add more references