Concepedia

Proof Nets

Proof Nets is a graphical representation of proofs in linear logic that eliminates syntactic bureaucracy by identifying derivations that differ only in the order of inference applications, thereby providing a geometric and syntax-independent characterization of proof equivalence.

91

Publications

3.2K

Citations

88

Authors

74

Institutions

Publications per year

2017–2026

5

Parents

Publications

91

Interaction nets

Yves Lafont · 1990 · 317 citations

, , +14

PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems

Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang · Journal of Symbolic Computation · 1996 · 210 citations

, , +13

A new deconstructive logic: linear logic

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx · Journal of Symbolic Logic · 1997 · 142 citations

, , +8

Intuitionistic Light Affine Logic

Andrea Asperti, Luca Roversi · ACM Transactions on Computational Logic · 2002 · 103 citations

, , +14

Logic and semantic networks

Amaryllis Deliyanni, Robert Kowalski · Communications of the ACM · 1979 · 91 citations · Full text

, , +16

1–5 of 91

Authors

88

  1. CR
    Christian Retoré

    Laboratoire Bordelais de Recherche en Informatique, France

    8 publications · 257 citations

    8

    h-index

  2. BA
    Beniamino Accattoli

    École Polytechnique, France

    7 publications · 201 citations

    7

    h-index

  3. UD
    Ugo Dal Lago

    University of Bologna, Italy

    5 publications · 144 citations

    5

    h-index

  4. SG
    Stefano Guerrini

    University of Ferrara, Italy

    5 publications · 102 citations

    5

    h-index

  5. FL
    F. Lamarche

    Rutherford Appleton Laboratory, United Kingdom

    5 publications · 149 citations

    5

    h-index

1–5 of 88

Institutions

74

  1. Université Paris Cité

    Paris, France

    10 h-index

    15 publications

    664 citations

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

    Le Chesnay-Rocquencourt, France

    10 h-index

    12 publications

    398 citations

  3. Laboratoire d'Informatique de l'École Polytechnique

    Palaiseau, France

    10 h-index

    12 publications

    338 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    9 h-index

    12 publications

    494 citations

  5. École Polytechnique

    Palaiseau, France

    8 h-index

    10 publications

    274 citations

  6. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    6 h-index

    6 publications

    136 citations

  7. Laboratory Preuves, Programmes et Systèmes

    Paris, France

    5 h-index

    6 publications

    138 citations

  8. University of Bologna

    Bologna, Italy

    5 h-index

    7 publications

    277 citations

1–8 of 74

Venues

  1. Theoretical Computer Science

    11 publications · 318 citations

    10

    h-index

  2. Mathematical Structures in Computer Science

    MSCS · 9 publications · 226 citations

    9

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 66 citations

    5

    h-index

  4. Journal of Logic and Computation

    4 publications · 141 citations

    4

    h-index

  5. ACM Transactions on Computational Logic

    TOCL · 4 publications · 242 citations

    4

    h-index

1–5