Proof net

From Free net encyclopedia

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

• Linear logic
• Ludics
• Geometry of interaction
• Coherent space

References

• Proofs and Types. Girard J-Y, Lafont Y, and Taylor P. Cambridge Press, 1989.Template:Mathlogic-stub