Interpolation

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.

Insertion de matériel — mots, phrases, passages, notes marginales migrées dans le corps principal, gloses ou autres contenus — dans un texte préexistant par des mains postérieures, des éditeurs ou des rédacteurs, de sorte que la transmission, les revendications d'auteur, la datation ou le sens du texte sont matériellement affectés.