A semantic approach to interpolation

Andrei Popescu, Traian Florin Şerbǎnuţǎ, Grigore Roşu

Research output: Contribution to journalArticle

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.

Original languageEnglish (US)
Pages (from-to)1109-1128
Number of pages20
JournalTheoretical Computer Science
Volume410
Issue number12-13
DOIs
StatePublished - Mar 17 2009

Keywords

  • Algebraic specifications
  • Birkhoff-style axiomatizability
  • Craig interpolation
  • Craig-Robinson interpolation
  • First-order sub-logics
  • Institutions

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A semantic approach to interpolation'. Together they form a unique fingerprint.

  • Cite this