A Semantic Approach to Interpolation

  • Andrei Popescu
  • Traian Florin Şerbănuţă
  • Grigore Roşu
Conference paper

DOI: 10.1007/11690634_21

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3921)
Cite this paper as:
Popescu A., Şerbănuţă T.F., Roşu G. (2006) A Semantic Approach to Interpolation. In: Aceto L., Ingólfsdóttir A. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 2006. Lecture Notes in Computer Science, vol 3921. Springer, Berlin, Heidelberg

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.

Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Andrei Popescu
    • 1
  • Traian Florin Şerbănuţă
    • 1
  • Grigore Roşu
    • 1
  1. 1.Department of Computer ScienceUniversity of Illinois at Urbana-Champaign 

Personalised recommendations