Concepedia

Craig Interpolation Theorem

The Craig Interpolation Theorem is a fundamental result in first-order logic stating that for any valid implication between two formulas with no shared predicates, there exists an interpolant formula in the common signature that logically mediates between them.

117

Publications

3.8K

Citations

154

Authors

119

Institutions

Publications per year

2017–2026

8

Parents

Publications

117

Interpolation problems in nest algebras

William Arveson · Journal of Functional Analysis · 1975 · 356 citations

, , +12

Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic

Jan Krajı́ček · Journal of Symbolic Logic · 1997 · 299 citations

, , +14

An interpolating theorem prover

Kenneth L. McMillan · Theoretical Computer Science · 2005 · 272 citations

, , +6

An interpolation theorem in the predicate calculus

Roger C. Lyndon · Pacific Journal of Mathematics · 1959 · 183 citations · Full text

, , +7

An interpolation theorem for denumerably long formulas

Esteban López‐Escobar · Fundamenta Mathematicae · 1965 · 140 citations · Full text

, , +6

1–5 of 117

Authors

154

  1. LL
    L. L. Maksimova

    Russian Academy of Sciences, Russia

    6 publications · 131 citations

    6

    h-index

  2. PR
    Philipp Rümmer

    Uppsala University, Sweden

    4 publications · 89 citations

    4

    h-index

  3. TS
    Tetsuya Shimogaki

    Kyushu University, Japan

    3 publications · 131 citations

    3

    h-index

  4. DM
    Daniele Mundici

    University of Florence, Italy

    3 publications · 107 citations

    3

    h-index

  5. MM
    Mario Milman

    Florida Atlantic University, United States

    3 publications · 87 citations

    3

    h-index

1–5 of 154

Institutions

119

  1. University of Oxford

    Oxford, United Kingdom

    4 h-index

    7 publications

    155 citations

  2. University of Amsterdam

    Amsterdam, The Netherlands

    4 h-index

    5 publications

    152 citations

  3. University of California, Berkeley

    Berkeley, United States

    3 h-index

    3 publications

    427 citations

  4. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    3 h-index

    3 publications

    93 citations

  5. Russian Academy of Sciences

    Moscow, Russia

    3 h-index

    3 publications

    43 citations

  6. Stanford University

    Stanford, United States

    3 h-index

    3 publications

    38 citations

  7. Indiana University Bloomington

    Bloomington, United States

    3 h-index

    5 publications

    59 citations

  8. Uppsala University

    Uppsala, Sweden

    3 h-index

    4 publications

    93 citations

1–8 of 119

Venues

  1. Journal of Symbolic Logic

    13 publications · 603 citations

    11

    h-index

  2. Journal of Functional Analysis

    4 publications · 486 citations

    4

    h-index

  3. Algebra and Logic

    4 publications · 68 citations

    4

    h-index

  4. Integral Equations and Operator Theory

    4 publications · 66 citations

    4

    h-index

  5. Annals of Pure and Applied Logic

    4 publications · 130 citations

    4

    h-index

1–5