Standard

Disentangling Structural Connectives or Life Without Display Property. / Drobyshevich, Sergey.

In: Journal of Philosophical Logic, Vol. 48, No. 2, 15.04.2019, p. 279-303.

Research output: Contribution to journal › Article › peer-review

Harvard

Drobyshevich, S 2019, 'Disentangling Structural Connectives or Life Without Display Property', Journal of Philosophical Logic, vol. 48, no. 2, pp. 279-303. https://doi.org/10.1007/s10992-018-9466-1

APA

Drobyshevich, S. (2019). Disentangling Structural Connectives or Life Without Display Property. Journal of Philosophical Logic, 48(2), 279-303. https://doi.org/10.1007/s10992-018-9466-1

Vancouver

Drobyshevich S. Disentangling Structural Connectives or Life Without Display Property. Journal of Philosophical Logic. 2019 Apr 15;48(2):279-303. doi: 10.1007/s10992-018-9466-1

Author

Drobyshevich, Sergey. / Disentangling Structural Connectives or Life Without Display Property. In: Journal of Philosophical Logic. 2019 ; Vol. 48, No. 2. pp. 279-303.

BibTeX

@article{cfed751f0c464e388e5cc3db4d803435,
title = "Disentangling Structural Connectives or Life Without Display Property",
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.",
keywords = "Cut elimination, Display logic, Display property, Intuitionistic logic, Proof theory, LOGIC",
author = "Sergey Drobyshevich",
note = "This work was supported by the Alexander von Humboldt Foundation.",
year = "2019",
month = apr,
day = "15",
doi = "10.1007/s10992-018-9466-1",
language = "English",
volume = "48",
pages = "279--303",
journal = "Journal of Philosophical Logic",
issn = "0022-3611",
publisher = "Springer Netherlands",
number = "2",

}

RIS

TY - JOUR

T1 - Disentangling Structural Connectives or Life Without Display Property

AU - Drobyshevich, Sergey

N1 - This work was supported by the Alexander von Humboldt Foundation.

PY - 2019/4/15

Y1 - 2019/4/15

N2 - 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.

AB - 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.

KW - Cut elimination

KW - Display logic

KW - Display property

KW - Intuitionistic logic

KW - Proof theory

KW - LOGIC

UR - http://www.scopus.com/inward/record.url?scp=85050352924&partnerID=8YFLogxK

U2 - 10.1007/s10992-018-9466-1

DO - 10.1007/s10992-018-9466-1

M3 - Article

AN - SCOPUS:85050352924

VL - 48

SP - 279

EP - 303

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

SN - 0022-3611

IS - 2

ER -

ID: 15966989