A logic is said to have the interpolation property if whenever holds, then there is a sentence , so that both and hold, where and are some sets of symbols that occur in the formulas, being the set of symbols common to both and .
The interpolation property holds for first order logic. The interpolation property is related to Beth definability property and Robinson’s consistency property. Also, a natural generalisation is the concept -closed logic.
|Date of creation||2013-03-22 13:49:36|
|Last modified on||2013-03-22 13:49:36|
|Last modified by||CWoo (3771)|