Interpolation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine logische Konstruktion, die zu Formeln A und B mit A ⊨ B eine Formel I (den Interpolanten) liefert, die von A gefolgt wird, B nach sich zieht und nur die nichtlogischen Symbole verwendet, die in A und B gemeinsam vorkommen.