= Proof net
{wiki=Proof_net}
A proof net is a concept from the field of linear logic, introduced by the logician Jean-Yves Girard in the 1990s. It serves as a geometric representation of proofs in linear logic, providing an alternative to traditional syntactic representations like sequent calculus or natural deduction. \#\#\# Key Features of Proof Nets: 1. **Linear Logic**: Proof nets are specifically tied to linear logic, a branch of logic that emphasizes the use of resources.
Back to article page
