Disentangling Structural Connectives or Life Without Display Property

Journal of Philosophical Logic 48 (2):279-303 (2019)
  Copy   BIBTEX

Abstract

The work is concerned with the so called display property of display logic. The motivation behind it is discussed and challenged. It is shown using one display calculus for intuitionistic logic as an example that the display property can be abandoned without losing subformula, cut elimination and completeness properties in such a way that results in additional expressive power of the system. This is done by disentangling structural connectives so that they are no longer context-sensitive. A recipe for characterizing structural extensions of display calculi is provided.

Other Versions

No versions found

Links

PhilArchive

External links

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

Through your library

Similar books and articles

Substructural logics on display.R. Goré - 1998 - Logic Journal of the IGPL 6 (3):451-504.
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, Advances in Modal Logic. CSLI Publications. pp. 43-66.
Bunched Logics Displayed.James Brotherston - 2012 - Studia Logica 100 (6):1223-1254.
The Basics of Display Calculi.Tim Lyon, Christian Ittner, Timo Eckhardt & Norbert Gratzl - 2017 - Kriterion - Journal of Philosophy 31 (2):55-100.
Strong Cut-elimination In Display Logic.Heinrich Wansing - 1995 - Reports on Mathematical Logic:117-131.
The Display Problem Revisited.Tyke Nunez - 2010 - In Michal Peliš Vit Punčochàr, The Logica Yearbook. College Publications. pp. 143-156.
Substructural Negations as Normal Modal Operators.Heinrich Wansing - 2024 - In Yale Weiss & Romina Birman, Saul Kripke on Modal Logic. Cham: Springer Verlag. pp. 365-388.

Analytics

Added to PP
2018-07-19

Downloads
50 (#1,178,854)

6 months
8 (#1,346,238)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
Displaying Modal Logic.Heinrich Wansing - 1998 - Dordrecht, Netherland: Springer.

View all 31 references / Add more references