Craig interpolation ^{en}
In mathematical logic, Craig's interpolation theorem is a result about the relationship between different logical theories. Roughly stated, the theorem says that if a formula φ implies a formula ψ then there is a third formula ρ, called an interpolant, such that every nonlogical symbol in ρ occurs both in φ and ψ, φ implies ρ, and ρ implies ψ. The theorem was first proved for firstorder logic by William Craig in 1957. Variants of the theorem hold for other logics, such as propositional logic. A stronger form of Craig's theorem for firstorder logic was proved by Roger Lyndon in 1959; the overall result is sometimes called the Craig–Lyndon theorem. [  ]
Freebase Commons Metaweb System Types /type
 
 Craig interpolation
Key
 /wikipedia/en/Craig_interpolation
 /wikipedia/en_id/2056790
 /wikipedia/en/Craig$0027s_interpolation_lemma
 /wikipedia/en/Craig_reduct
 /wikipedia/en/Craig_interpolation_lemma
 /wikipedia/en/Craig_Interpolation
 /en/craig_interpolation
 /wikipedia/en/Craig$0027s_interpolation_theorem
 /wikipedia/ja_title/$30AF$30EC$30A4$30B0$306E$88DC$9593$5B9A$7406
 /wikipedia/en_title/Craig_interpolation
 /wikipedia/ko/$D06C$B808$C774$ADF8$C758_$BCF4$AC04_$C815$B9AC
 /wikipedia/ko/$D06C$B808$C774$ADF8_$BCF4$AC04
 /wikipedia/ko/$D06C$B808$C774$ADF8_$BCF4$AC04_$C815$B9AC
 /wikipedia/ko/$D06C$B808$C774$ADF8$C758_$BCF4$AC04
 /wikipedia/ko_title/$D06C$B808$C774$ADF8$C758_$BCF4$AC04_$C815$B9AC
 /wikipedia/ja/$30AF$30EC$30A4$30B0$306E$88DC$9593$5B9A$7406
 /wikipedia/de/CraigInterpolation
 /wikipedia/de_title/CraigInterpolation
 /wikipedia/de/Interpolationssatz
 /wikipedia/ko_id/701016
 /wikipedia/ko/$D06C$B808$C774$ADF8$B9B0$B4E0_$C815$B9AC
 /wikipedia/pl/Twierdzenie_Craiga
 /wikipedia/pl_title/Twierdzenie_Craiga
 /wikipedia/de/Craigs_Lemma
 /wikipedia/ja_id/1456719
 /wikipedia/de_id/1037477
 /wikipedia/pl_id/12201
 
 
 
 
Topic equivalent webpage
 http://en.wikipedia.org/wiki/index.html?curid=2056790
 http://ja.wikipedia.org/wiki/クレイグの補間定理
 http://en.wikipedia.org/wiki/Craig_interpolation
 http://de.wikipedia.org/wiki/CraigInterpolation
 http://ko.wikipedia.org/wiki/크레이그의_보간_정리
 http://ko.wikipedia.org/wiki/%ED%81%AC%EB%A0%88%EC%9D%B4%EA%B7%B8%EC%9D%98_%EB%B3%B4%EA%B0%84_%EC%A0%95%EB%A6%AC
 http://ko.wikipedia.org/wiki/index.html?curid=701016
 http://pl.wikipedia.org/wiki/index.html?curid=12201
 http://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AC%E3%82%A4%E3%82%B0%E3%81%AE%E8%A3%9C%E9%96%93%E5%AE%9A%E7%90%86
 http://pl.wikipedia.org/wiki/Twierdzenie_Craiga
 
 
 
 
 
 

 
 