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.

Categories

Keywords

Reprint years

DOI

10.1515/krt-2017-310205

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.
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 and other modal calculi: a comparison.Francesca Poggiolesi - 2010 - Synthese 173 (3):259-279.
Gaggles, Gentzen and Galois: how to display your favourite substructural logic.R. Gore - 1998 - Logic Journal of the IGPL 6 (5):669-694.
Comparing modal sequent systems.Greg Restall - unknown
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.
Embedding display calculi into logical frameworks : Comparing twelf and Isabelle.Jeremy E. Dawson - unknown
Labeled sequent calculi for modal logics and implicit contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.
A proof-theoretical investigation of global intuitionistic (fuzzy) logic.Agata Ciabattoni - 2005 - Archive for Mathematical Logic 44 (4):435-457.
Sequent calculus proof theory of intuitionistic apartness and order relations.Sara Negri - 1999 - Archive for Mathematical Logic 38 (8):521-547.
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination.Paulo Mateus, João Rasga & Cristina Sernadas - 2005 - Logic Journal of the IGPL 13 (2):173-199.
Tautology Elimination, Cut Elimination, and S5.Andrezj Indrzejczak - 2017 - Logic and Logical Philosophy 26 (4):461-471.
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics.Francesca Poggiolesi - 2016 - Studia Logica 104 (5):1003-1036.

Analytics

Added to PP
2018-02-13

Downloads
398 (#47,546)

6 months
69 (#61,336)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Timo Eckhardt
University College London
Norbert Gratzl
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