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

Authors
Timo Eckhardt
Ludwig Maximilians Universität, München
Tim Lyon
Vienna University of Technology
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.
Keywords Display calculi  Sequents   Structural proof theory  Cut elimination
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

 PhilArchive page | Upload history
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Display Logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
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 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Bunched Logics Displayed.James Brotherston - 2012 - Studia Logica 100 (6):1223-1254.
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 index
2018-02-13

Total views
43 ( #218,609 of 2,330,082 )

Recent downloads (6 months)
12 ( #48,465 of 2,330,082 )

How can I increase my downloads?

Downloads

My notes