craig_interpolation (429B)
1 # Craig interpolation 2 3 For every [implication] φ => ψ, there is a formula χ using only the common [relation_symbols] of φ and ψ such that φ => χ and χ => ψ 4 5 - [cate2023craig]: [survey_article] on [craig_interpolation] for [guarded_fragment] 6 - [cate2025interpolation]: general [survey_article] 7 - [cate2024craig]: [invited_talk] 8 9 Up: [property] of [logical_fragment] 10 11 See also: [logical_separability], [beth_definability]