Concepedia

Structural Proof Theory

Structural Proof Theory is a branch of proof theory that studies the structure and formal properties of deductive systems by analyzing the form and manipulation of proofs as syntactic objects, with particular emphasis on the role of structural inference rules such as weakening, contraction, and exchange.

104

Publications

4K

Citations

167

Authors

123

Institutions

Publications per year

2017–2026

8

Parents

Publications

104

Dealing with Ambiguities by Underspecification: Construction, Representation and Deduction

Uwe Reyle · Journal of Semantics · 1993 · 338 citations

, , +15

On inheritance hierarchies with exceptions

David W. Etherington, Raymond Reiter · 1983 · 184 citations

, , +14

Dynamic typing: syntax and proof theory

Fritz Henglein · Science of Computer Programming · 1994 · 158 citations

, , +13

Extending CP-nets with stronger conditional preference statements

Nic Wilson · Cork Open Research Archive (University College Cork, Ireland) · 2004 · 145 citations · Full text

, , +13

Transaction logic programming

Anthony J. Bonner, Michael Kifer · 1993 · 129 citations

, , +16

1–5 of 104

Authors

167

  1. SN
    Sara Negri

    University of Helsinki, Finland

    5 publications · 280 citations

    5

    h-index

  2. CR
    Christian Retoré

    Laboratoire Bordelais de Recherche en Informatique, France

    3 publications · 49 citations

    3

    h-index

  3. GM
    George Metcalfe

    University of Bern, Switzerland

    3 publications · 66 citations

    3

    h-index

  4. DM
    Dale Miller

    University of Pennsylvania, United States

    2 publications · 28 citations

    2

    h-index

  5. GR
    Greg Restall

    The University of Melbourne, Australia

    2 publications · 30 citations

    2

    h-index

1–5 of 167

Institutions

123

  1. University of Helsinki

    Helsinki, Finland

    6 h-index

    7 publications

    416 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    5 h-index

    8 publications

    153 citations

  3. Imperial College London

    London, United Kingdom

    3 h-index

    5 publications

    289 citations

  4. Saarland University

    Saarbrücken, Germany

    3 h-index

    6 publications

    224 citations

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    4 publications

    73 citations

  6. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    3 h-index

    3 publications

    73 citations

  7. Université Paris Cité

    Paris, France

    3 h-index

    3 publications

    84 citations

  8. Laboratoire de l'Informatique du Parallélisme

    Lyon, France

    3 h-index

    4 publications

    73 citations

1–8 of 123

Venues

  1. Annals of Pure and Applied Logic

    6 publications · 229 citations

    6

    h-index

  2. Studia Logica

    6 publications · 184 citations

    6

    h-index

  3. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 4 publications · 128 citations

    4

    h-index

  4. Journal of Logic and Computation

    3 publications · 143 citations

    3

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 73 citations

    3

    h-index

1–5