クレイグの補間定理
クレイグの補間定理は以下のような方法で証明できる。
モデル理論的には、コンパクト性、否定、論理積が存在するとき、Robinson's joint consistency theorem とクレイグの補間定理は等価である。
証明理論的には、シークエント計算によって証明できる。カット除去定理が成り立ち、結果として部分論理式特性が保持されるなら、クレイグの補間定理は証明の構成に関する帰納法で証明される。
代数学的には、論理を表す代数の多様性についての融合の定理を使う。
クレイグの補間定理のある他の論理体系に変換する。