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.
[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.
