A Semantic Approach to Interpolation

From FSL
Jump to: navigation, search

This work has been published both in journal (J.TCS), in a conference proceedings (FoSSaCS'06), and as a technical report. The journal and the technical report contain all the proofs that have been omitted from the conference paper.

J. of TCS

A Semantic Approach to Interpolation
Andrei Popescu, Traian Florin Serbanuta and Grigore Rosu
J. of TCS, Volume 410(12-13), pp 1109-1128. 2009
Abstract. Craig interpolation is investigated for various types of formulae. By shifting the focus from syntactic to semantic interpolation, we generate, prove and classify a series of interpolation results for first-order logic. A few of these results non-trivially generalize known interpolation results; all the others are new. We also discuss some applications of our results to the theory of institutions and of algebraic specifications, and a Craig-Robinson version of these results.
PDF, J.TCS, BIB

FoSSaCS'06

A Semantic Approach to Interpolation
Andrei Popescu, Traian Florin Serbanuta and Grigore Rosu
FOSSACS'06, LNCS 3921, pp 307-321. 2006
Abstract. Interpolation results are investigated for various types of formulae. By shifting the focus from syntactic to semantic interpolation, we generate, prove and classify a series of interpolation results for first-order logic. A few of these results non-trivially generalize known interpolation results. All the others are new.
PDF, Slides (PDF), LNCS, FOSSACS '06, DBLP, BIB

Technical Report

A Semantic Approach to Interpolation
Andrei Popescu, Traian Florin Serbanuta and Grigore Rosu
Technical Report UIUCDCS-R-2005-2643, May 2005
Abstract. Interpolation results are investigated for various types of formulae. By shifting the focus from syntactic to semantic interpolation, we generate, prove and classify more than twenty interpolation results for first-order logic and some for richer logics. A few of these results nontrivially generalize known interpolation results. All the others are new.
PDF, TR@UIUC, BIB

Personal tools
Namespaces

Variants
Actions
Navigation