Concepedia

Proof Theory

Proof Theory is a branch of mathematical logic that studies formal proofs as mathematical objects, distinguishing itself by analyzing the structure, derivation rules, and syntactic properties of logical systems rather than their semantic interpretations.

1.6K

Publications

98K

Citations

1.9K

Authors

723

Institutions

Publications per year

2017–2026

199

Parents

Children

Publications

1.6K

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text

, , +17

The Knowledge Complexity of Interactive Proof Systems

Shafi Goldwasser, Silvio Micali, Charles Rackoff · SIAM Journal on Computing · 1989 · 3.3K citations

, , +13

A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text

, , +16

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text

, , +15

The Principles of Mathematics.

E. N., Bertrand Russell · The Journal of Philosophy · 1938 · 1.9K citations

, , +10

1–5 of 1.6K

Authors

1.9K

  1. KW
    Keith Weber

    Rutgers, The State University of New Jersey, United States

    27 publications · 1.7K citations

    21

    h-index

  2. DM
    Dale Miller

    University of Pennsylvania, United States

    19 publications · 1.3K citations

    15

    h-index

  3. JU
    Josef Urban

    Radboud University Nijmegen, Netherlands

    16 publications · 649 citations

    13

    h-index

  4. LC
    Lawrence C. Paulson

    University of Cambridge, United Kingdom

    14 publications · 1K citations

    12

    h-index

  5. CK
    Cezary Kaliszyk

    Universität Innsbruck, Austria

    14 publications · 597 citations

    12

    h-index

1–5 of 1.9K

Institutions

723

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

    Le Chesnay-Rocquencourt, France

    25 h-index

    71 publications

    3.2K citations

  2. University of Cambridge

    Cambridge, United Kingdom

    24 h-index

    52 publications

    3.4K citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    23 h-index

    46 publications

    3.1K citations

  4. University of Edinburgh

    Edinburgh, United Kingdom

    22 h-index

    48 publications

    1.9K citations

  5. Stanford University

    Stanford, United States

    22 h-index

    42 publications

    2.3K citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    21 h-index

    50 publications

    1.5K citations

  7. Rutgers, The State University of New Jersey

    New Brunswick, United States

    20 h-index

    36 publications

    2.9K citations

  8. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    17 h-index

    32 publications

    1.2K citations

1–8 of 723

Venues

  1. Journal of Symbolic Logic

    64 publications · 5.6K citations

    36

    h-index

  2. Theoretical Computer Science

    38 publications · 1.8K citations

    26

    h-index

  3. Journal of Automated Reasoning

    43 publications · 2.7K citations

    25

    h-index

  4. Annals of Pure and Applied Logic

    38 publications · 2.2K citations

    24

    h-index

  5. Educational Studies in Mathematics

    25 publications · 2.5K citations

    21

    h-index

1–5