Proof Nets for Classical Logic
E. Powell Robinson · Journal of Logic and Computation · 2003
This paper introduces a notion of proof net for classical logic, provides a static correctness condition for these nets, and analyses theconnection between nets and conventional sequent calculus. The main surprise of the paper is that there are no surprises at the static level. Subsequent work reveals that there are few at the dynamic either.