Google
×

Craig interpolation

In mathematical logic, Craig's interpolation theorem is a result about the relationship between different logical theories. Wikipedia