A semantic approach to interpolation

Article

Popescu, A., Şerbănuţă, T. and Roşu, G. 2009. A semantic approach to interpolation. Theoretical Computer Science. 410 (12-13), pp. 1109-1128. https://doi.org/10.1016/j.tcs.2008.09.038
TypeArticle
TitleA semantic approach to interpolation
AuthorsPopescu, A., Şerbănuţă, T. and Roşu, G.
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 someapplications of our results to the theory of institutions and of algebraic specifications,and a Craig-Robinson version of these results.

KeywordsCraig interpolation, Birkhoff-style axiomatizability, Craig–Robinson interpolation, first-order sub-logics, algebraic specifications, institutions
Research GroupFoundations of Computing group
PublisherElsevier B. V.
JournalTheoretical Computer Science
ISSN0304-3975
Publication dates
Print17 Mar 2009
Publication process dates
Deposited27 Apr 2015
Accepted18 Sep 2008
Output statusPublished
Accepted author manuscript
License
Digital Object Identifier (DOI)https://doi.org/10.1016/j.tcs.2008.09.038
LanguageEnglish
Permalink -

https://repository.mdx.ac.uk/item/85214

Log in to edit

Download files

Accepted author manuscript
TCS2009.pdf
License: CC BY-NC-ND 4.0

  • 14
    total views
  • 3
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as