Interpolation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une construction logique qui, pour des formules A et B telles que A entraîne logiquement B, produit une formule I (l'interpolant) qui est impliquée par A, implique B, et n'utilise que les symboles non logiques communs à A et B.