| Lyon, Tim; Ittner, Christian; Eckhardt, Timo; Gratzl, Norbert (2017): The Basics of Display Calculi. In: Kriterion — Journal of Philosophy, Vol. 31, No. 2: pp. 55-100 |
|
|
External fulltext: http://www.kriterion-journal-of-philosophy.org/kriterion/volume-31-2-2017/
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.
| Item Type: | Journal article |
|---|---|
| Form of publication: | Preprint |
| Keywords: | Display calculi; Sequents; Structural proof theory; Cut elimination |
| Faculties: | Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Logic |
| Subjects: | 100 Philosophy and Psychology > 160 Logic |
| URN: | urn:nbn:de:bvb:19-epub-42251-3 |
| ISSN: | 1019-8288 |
| Language: | English |
| ID Code: | 42251 |
| Deposited On: | 20. Feb 2018 08:25 |
| Last Modified: | 31. Aug 2018 11:48 |
Repository Staff Only: item control page
