The Craig–Lyndon interpolation theorem in formal logic states that every logical implication can be factored into the composition of two implications, such that each nonlogical symbol in the middle formula of the composition is also used in both of the other two formulas.
Daniel Craig | The Late Late Show with Craig Ferguson | Craig Charles | Craig David | James Craig | Craig T. Nelson | Craig Owens | Craig Bellamy | Craig Zucker | Craig Taborn | Craig Ferguson | P. Craig Russell | James Craig, 1st Viscount Craigavon | Edward Gordon Craig | Craig Murray | interpolation | Craig Wiseman | Craig Owens (vocalist) | Craig Newmark | Craig | J. Craig Venter Institute | James Craig Watson | Gordon Craig | Craig Wasson | Craig Venter | Craig Noel | Craig Neidorf | Craig Mottram | Craig L. Thomas | Craig Kauffman |