Disentangling Structural Connectives or Life Without Display Property

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

Original language	English
Pages (from-to)	279-303
Number of pages	25
Journal	Journal of Philosophical Logic
Volume	48
Issue number	2
DOIs	https://doi.org/10.1007/s10992-018-9466-1
Publication status	Published - 15 Apr 2019

Cut elimination, Display logic, Display property, Intuitionistic logic, Proof theory, LOGIC

ID: 15966989