Uniform Interpolation

A strengthening of interpolation that requires, for each formula φ and each chosen sublanguage (set of non-logical symbols) Σ, the existence of a formula ψ using only symbols from Σ such that ψ captures exactly the Σ-consequences of φ; ψ is uniform in the sense that it works for all entailments from φ to formulas in the sublanguage.