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
Upload history
Archival date: 2019-09-20
View other versions
Added to PP index

Total views
68 ( #45,106 of 57,106 )

Recent downloads (6 months)
21 ( #33,515 of 57,106 )

How can I increase my downloads?

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