A Semantic Approach to Interpolation
From FSL
This work has been published both in a conference proceedings (FoSSaCS'06) and as a technical report. The technical report contains all the proofs that have been omitted from the conference paper. All these results have been completed and extended to a journal paper.
[edit] 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.
[edit] 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.
[edit] 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.
