Concepedia

Formal Proof Systems

Formal Proof Systems is a deductive framework in mathematical logic that consists of a precisely defined set of axioms and inference rules, distinguishing itself by enabling the systematic derivation of theorems through strictly formalized syntactic operations.

1.1K

Publications

62.6K

Citations

1.5K

Authors

583

Institutions

Publications per year

2017–2026

116

Variants

Logical Calculi

Parents

Publications

1.1K

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

, , +16

An axiomatic basis for computer programming

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

, , +17

On a Problem of Formal Logic

Frank Plumpton Ramsey · Proceedings of the London Mathematical Society · 1930 · 1.9K citations

, , +11

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations

, , +17

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 989 citations · Full text

, , +15

1–5 of 1.1K

Authors

1.5K

  1. DM
    Dale Miller

    University of Pennsylvania, United States

    22 publications · 1.8K citations

    17

    h-index

  2. GS
    Geoff Sutcliffe

    University of Miami, United States

    17 publications · 592 citations

    13

    h-index

  3. JU
    Josef Urban

    Radboud University Nijmegen, Netherlands

    13 publications · 950 citations

    11

    h-index

  4. CK
    Cezary Kaliszyk

    Universität Innsbruck, Austria

    10 publications · 860 citations

    10

    h-index

  5. LC
    Lawrence C. Paulson

    University of Cambridge, United Kingdom

    11 publications · 429 citations

    10

    h-index

1–5 of 1.5K

Institutions

583

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

    Le Chesnay-Rocquencourt, France

    26 h-index

    74 publications

    3.6K citations

  2. University of Cambridge

    Cambridge, United Kingdom

    22 h-index

    54 publications

    3.3K citations

  3. University of Edinburgh

    Edinburgh, United Kingdom

    20 h-index

    41 publications

    1.7K citations

  4. Stanford University

    Stanford, United States

    20 h-index

    36 publications

    3.1K citations

  5. Centre National de la Recherche Scientifique

    Paris, France

    20 h-index

    50 publications

    2K citations

  6. Université Paris Cité

    Paris, France

    16 h-index

    26 publications

    1.3K citations

  7. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    16 h-index

    31 publications

    1.4K citations

  8. Imperial College London

    London, United Kingdom

    14 h-index

    32 publications

    1.6K citations

1–8 of 583

Venues

  1. Journal of Symbolic Logic

    53 publications · 3.4K citations

    30

    h-index

  2. Journal of Automated Reasoning

    33 publications · 2.2K citations

    24

    h-index

  3. Theoretical Computer Science

    29 publications · 1.2K citations

    19

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 40 publications · 812 citations

    19

    h-index

  5. Journal of Logic and Computation

    27 publications · 1.5K citations

    19

    h-index

1–5