UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Craig interpolation in displayable logics

Brotherston, J; Goré, R; (2011) Craig interpolation in displayable logics. In: (pp. pp. 88-103).

Full text not available from this repository.


We give a general proof-theoretic method for proving Craig interpolation for displayable logics, based on an analysis of the individual proof rules of their display calculi. Using this uniform method, we prove interpolation for a spectrum of display calculi differing in their structural rules, including those for multiplicative linear logic, multiplicative additive linear logic and ordinary classical logic. Our analysis of proof rules also provides new insights into why interpolation fails, or seems likely to fail, in many substructural logics. Specifically, contraction appears particularly problematic for interpolation except in special circumstances. © 2011 Springer-Verlag.

Type: Proceedings paper
Title: Craig interpolation in displayable logics
ISBN-13: 9783642221187
DOI: 10.1007/978-3-642-22119-4_9
UCL classification: UCL > School of BEAMS
UCL > School of BEAMS > Faculty of Engineering Science
URI: http://discovery.ucl.ac.uk/id/eprint/1363362
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item