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.
Articles by others on the same topic
There are currently no matching articles.