1 paper · 1 filter
Eyal Amir
Craig's interpolation theorem (Craig 1957) is an important theorem known for propositional logic and first-order logic. It says that if a logical formula β logically follows from…