Concepedia

Hilbert Systems

Hilbert Systems is a formal deductive system in propositional logic characterized by a small set of axioms and a single inference rule, modus ponens, distinguishing it by its emphasis on axiomatization and syntactic proof construction.

170

Publications

8K

Citations

266

Authors

191

Institutions

Publications per year

2017–2026

17

Variants

Hilbert-style CalculiHilbert-style Deductive SystemsHilbert-style Systems

Parents

Publications

170

The relative efficiency of propositional proof systems

Stephen Cook, Robert A. Reckhow · Journal of Symbolic Logic · 1979 · 827 citations

, , +15

HILBERT C?-MODULES: THEOREMS OF STINESPRING AND VOICULESCU

Gennadi Kasparov · 1980 · 346 citations

, , +10

Hilbert functions and symbolic powers.

Craig Huneke · The Michigan Mathematical Journal · 1987 · 216 citations · Full text

, , +10

Methods of Mathematical Physics, Volume I. R. Courant and D. Hilbert. Interscience Publishers Inc., New York. 550 pp. Index. 75s. net.

Amaury Barret · Journal of the Royal Aeronautical Society · 1954 · 211 citations

, , +7

Realization theory in Hilbert space

Dietmar Salamon · Theory of Computing Systems · 1988 · 151 citations

, , +10

1–5 of 170

Authors

266

  1. MS
    Michael Skeide

    University of Molise, Italy

    5 publications · 218 citations

    5

    h-index

  2. RG
    R. G. Douglas

    Stony Brook University, United States

    3 publications · 106 citations

    3

    h-index

  3. AI
    Anthony Iarrobino

    Northeastern University, United States

    2 publications · 68 citations

    2

    h-index

  4. UR
    Umberto Rivieccio

    Universidade Federal do Rio Grande do Norte, Brazil

    2 publications · 38 citations

    2

    h-index

  5. IP
    Irena Peeva

    Cornell University, United States

    2 publications · 40 citations

    2

    h-index

1–5 of 266

Institutions

191

  1. University of Calabria

    Rende, Italy

    4 h-index

    5 publications

    265 citations

  2. Indian Statistical Institute

    Kolkata, India

    3 h-index

    3 publications

    156 citations

  3. University of Molise

    Campobasso, Italy

    3 h-index

    3 publications

    161 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    3 publications

    45 citations

  5. University of Michigan

    Ann Arbor, United States

    2 h-index

    3 publications

    202 citations

  6. Northeastern University

    Boston, United States

    2 h-index

    2 publications

    68 citations

  7. University of Birmingham

    Birmingham, United Kingdom

    2 h-index

    4 publications

    76 citations

  8. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    2 h-index

    2 publications

    35 citations

1–8 of 191

Venues

  1. Journal of Algebra

    6 publications · 178 citations

    6

    h-index

  2. Advances in Mathematics

    6 publications · 224 citations

    6

    h-index

  3. Mathematische Annalen

    6 publications · 245 citations

    6

    h-index

  4. Journal of Functional Analysis

    5 publications · 258 citations

    5

    h-index

  5. Synthese

    4 publications · 64 citations

    4

    h-index

1–5