Concepedia

Craig Interpolation

Craig Interpolation is a logical theorem in propositional logic stating that for any valid implication between two formulas, there exists an interpolant formula in the common language of the two such that it is implied by the antecedent and implies the consequent, effectively serving as a mediating formula derived solely from the shared vocabulary.

101

Publications

4.1K

Citations

156

Authors

105

Institutions

Publications per year

2017–2026

10

Variants

Craig's Interpolation Lemma

Parents

Publications

101

Abstractions from proofs

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · ACM SIGPLAN Notices · 2014 · 483 citations

, , +14

Interpolation problems in nest algebras

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

, , +12

Abstractions from proofs

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · 2004 · 304 citations

, , +14

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 interpolation theorem in the predicate calculus

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

, , +7

1–5 of 101

Authors

156

  1. GC
    Gianpiero Cabodi

    Politecnico di Torino, Italy

    5 publications · 85 citations

    5

    h-index

  2. JR
    Jie-Hong R. Jiang

    National Taiwan University, Taiwan

    4 publications · 92 citations

    4

    h-index

  3. PR
    Philipp Rümmer

    Uppsala University, Sweden

    4 publications · 69 citations

    4

    h-index

  4. KL
    Kenneth L. McMillan

    Carnegie Mellon University, United States

    4 publications · 891 citations

    4

    h-index

  5. LL
    L. L. Maksimova

    Russian Academy of Sciences, Russia

    4 publications · 104 citations

    4

    h-index

1–5 of 156

Institutions

105

  1. University of California, Berkeley

    Berkeley, United States

    7 h-index

    13 publications

    3.1K citations

  2. National Taiwan University

    Taipei, Taiwan

    5 h-index

    13 publications

    341 citations

  3. Politecnico di Torino

    Turin, Italy

    5 h-index

    17 publications

    298 citations

  4. Cadence Design Systems (United States)

    San Jose, United States

    4 h-index

    4 publications

    891 citations

  5. University of Amsterdam

    Amsterdam, The Netherlands

    4 h-index

    5 publications

    152 citations

  6. Uppsala University

    Uppsala, Sweden

    3 h-index

    6 publications

    101 citations

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    3 publications

    93 citations

  8. Lawrence Berkeley National Laboratory

    Berkeley, United States

    3 h-index

    3 publications

    881 citations

1–8 of 105

Venues

  1. Journal of Symbolic Logic

    13 publications · 603 citations

    11

    h-index

  2. Annals of Pure and Applied Logic

    4 publications · 154 citations

    4

    h-index

  3. Studia Logica

    4 publications · 134 citations

    4

    h-index

  4. ACM Transactions on Computational Logic

    TOCL · 2 publications · 74 citations

    2

    h-index

  5. ACM SIGPLAN Notices

    2 publications · 577 citations

    2

    h-index

1–5