arXiv:1203.4084 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords classical logic, canonical proof nets, expansion nets, classical sequent calculus proofs, sequent proofs modulo rule permutations Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset