Interpolation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A logical construction that, given formulas A and B with A logically entailing B, produces a formula I (the interpolant) that is implied by A, entails B, and mentions only the nonlogical symbols common to A and B.