Concepedia

Induction Principles

Induction Principles is a formal logical framework that specifies the general schema for proving properties of recursively defined structures by establishing a base case and an inductive step, distinguishing it from other proof methods through its reliance on well-founded orderings to justify inference over infinite domains.

218

Publications

16.1K

Citations

300

Authors

158

Institutions

Publications per year

2017–2026

12

Variants

Induction Principle

Parents

Publications

218

1–5 of 218

Authors

300

  1. LR
    Larry Rendell

    University of Illinois Urbana-Champaign, United States

    4 publications · 258 citations

    4

    h-index

  2. AM
    Andrew M. Pitts

    University of Cambridge, United Kingdom

    4 publications · 199 citations

    4

    h-index

  3. PC
    Patrick Cousot

    École Normale Supérieure - PSL, France

    3 publications · 212 citations

    3

    h-index

  4. SN
    Stephen Ness

    Stanford University, United States

    3 publications · 181 citations

    3

    h-index

  5. MD
    Marc Denecker

    KU Leuven, Belgium

    3 publications · 168 citations

    3

    h-index

1–5 of 300

Institutions

158

  1. University of Edinburgh

    Edinburgh, United Kingdom

    8 h-index

    11 publications

    1.2K citations

  2. Stanford University

    Stanford, United States

    8 h-index

    15 publications

    630 citations

  3. University of Cambridge

    Cambridge, United Kingdom

    6 h-index

    6 publications

    321 citations

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

    Le Chesnay-Rocquencourt, France

    6 h-index

    6 publications

    415 citations

  5. KU Leuven

    Leuven, Belgium

    5 h-index

    8 publications

    570 citations

  6. University of Illinois Urbana-Champaign

    Urbana, United States

    4 h-index

    6 publications

    317 citations

  7. Ludwig-Maximilians-Universität München

    Munich, Germany

    4 h-index

    4 publications

    103 citations

  8. Swansea University

    Swansea, United Kingdom

    3 h-index

    3 publications

    132 citations

1–8 of 158

Venues

  1. Theoretical Computer Science

    8 publications · 381 citations

    8

    h-index

  2. Annals of Pure and Applied Logic

    7 publications · 409 citations

    7

    h-index

  3. Information and Control

    5 publications · 3.1K citations

    5

    h-index

  4. Information and Computation

    5 publications · 339 citations

    5

    h-index

  5. Journal of Symbolic Logic

    5 publications · 84 citations

    5

    h-index

1–5