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