Craig interpolation theorem
E2199511
UNEXPLORED
The Craig interpolation theorem is a fundamental result in mathematical logic stating that for any implication between two formulas, there exists an intermediate formula (the interpolant) that uses only the common symbols of the original formulas and is implied by the first while implying the second.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Craig interpolation theorem canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.