Skip navigation
Skip navigation

Craig Interpolation in Displayable Logics

Brotherston, James; Gore, Rajeev

Description

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...[Show more]

CollectionsANU Research Publications
Date published: 2011
Type: Conference paper
URI: http://hdl.handle.net/1885/36361
Source: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
DOI: 10.1007/978-3-642-22119-4_9

Download

File Description SizeFormat Image
01_Brotherston_Craig_Interpolation_in_2011.pdf253.08 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator