Concepedia

Induction Schemes

Induction Schemes is a formal logical framework within mathematical induction that systematizes the inference structure by specifying a general class of predicates and corresponding recursive proof templates to establish universal quantification over inductively defined domains.

85

Publications

4.3K

Citations

218

Authors

118

Institutions

Publications per year

2017–2026

6

Parents

Publications

85

The development of induction within natural kind and artifact categories

Susan A. Gelman · Cognitive Psychology · 1988 · 561 citations · Full text

, , +10

A Material Theory of Induction

John D. Norton · Philosophy of Science · 2003 · 380 citations · Full text

, , +9

Fixed-point extensions of first-order logic

Yuri Gurevich, Saharon Shelah · Annals of Pure and Applied Logic · 1986 · 243 citations · Full text

, , +15

On the scheme of induction for bounded arithmetic formulas

A. J. Wilkie, J. B. Paris · Annals of Pure and Applied Logic · 1987 · 206 citations

, , +10

Correspondence, invariance and heuristics: In praise of conservative induction

H R Post · Studies in History and Philosophy of Science Part A · 1971 · 203 citations

, , +5

1–5 of 85

Authors

218

  1. JB
    J. B. Paris

    University of Manchester, United Kingdom

    4 publications · 290 citations

    4

    h-index

  2. LR
    Larry Rendell

    University of Illinois Urbana-Champaign, United States

    3 publications · 244 citations

    3

    h-index

  3. SS
    Saharon Shelah

    Hebrew University of Jerusalem, Israel

    2 publications · 288 citations

    2

    h-index

  4. RK
    Richard Kaye

    University of Manchester, United Kingdom

    2 publications · 61 citations

    2

    h-index

  5. JH
    Jiawei Han

    University of Illinois Urbana-Champaign, United States

    1 publications · 32 citations

    2

    h-index

1–5 of 218

Institutions

118

  1. University of Illinois Urbana-Champaign

    Urbana, United States

    4 h-index

    6 publications

    501 citations

  2. University of Manchester

    Manchester, United Kingdom

    4 h-index

    10 publications

    641 citations

  3. University of Michigan

    Ann Arbor, United States

    3 h-index

    5 publications

    1.1K citations

  4. University of Edinburgh

    Edinburgh, United Kingdom

    3 h-index

    7 publications

    202 citations

  5. University of Oxford

    Oxford, United Kingdom

    2 h-index

    2 publications

    218 citations

  6. Simon Fraser University

    Burnaby, Canada

    2 h-index

    1 publications

    32 citations

  7. Hebrew University of Jerusalem

    Jerusalem, Israel

    2 h-index

    2 publications

    288 citations

  8. University of Crete

    Rethymno, Greece

    2 h-index

    6 publications

    183 citations

1–8 of 118

Venues

  1. Journal of Symbolic Logic

    7 publications · 150 citations

    7

    h-index

  2. Theoretical Computer Science

    4 publications · 103 citations

    4

    h-index

  3. Choice Reviews Online

    CRO · 3 publications · 89 citations

    3

    h-index

  4. Information and Computation

    2 publications · 37 citations

    2

    h-index

  5. Machine Learning

    2 publications · 217 citations

    2

    h-index

1–5