The Basics of Display Calculi

Kriterion - Journal of Philosophy 31 (2):55-100 (2017)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Revision history
Archival date: 2019-09-20
View upload history
References found in this work BETA
Display Logic.Belnap, Nuel D.
Displaying Modal Logic.Wansing, Heinrich
Hypersequent and Display Calculi – a Unified Perspective.Ciabattoni, Agata; Ramanayake, Revantha & Wansing, Heinrich
Don't Eliminate Cut.Boolos, George

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
40 ( #44,495 of 50,214 )

Recent downloads (6 months)
12 ( #37,860 of 50,214 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.