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.

Similar books and articles

Bunched Logics Displayed.James Brotherston - 2012 - Studia Logica 100 (6):1223-1254.
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.
Display calculi for logics with relative accessibility relations.Stéphane Demri & Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):213-236.
Simple cut elimination proof for hybrid logic.Andrezj Indrzejczak - 2016 - Logic and Logical Philosophy 25 (2):129-141.
Labeled sequent calculi for modal logics and implicit contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.
Tautology Elimination, Cut Elimination, and S5.Andrezj Indrzejczak - 2017 - Logic and Logical Philosophy 26 (4):461-471.

Analytics

Added to PP
2018-02-13

Downloads
418 (#48,288)

6 months
80 (#61,490)

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