Proof Nets

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A graphical, canonical representation of proofs in fragments of linear logic where formulas and their connections are rendered as nodes and links; proof nets expose parallelism, collapse syntactic bureaucracy of sequent proofs, and admit graphical correctness criteria and cut-elimination as local graph transformations.