In proof theory, proof nets are a geometrical method of representing proofs that eliminates irrelevant syntactical features of regular proof calculi such as the natural deduction calculus and the sequent calculus; by this means the formal properties of proof identity correspond more closely to the intuitively desirable properties. Proof nets were introduced by Girard.
See also
References
- Proofs and Types. Girard J-Y, Lafont Y, and Taylor P. Cambridge Press, 1989.
