Abstract : This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatisfactory.
https://hal.inria.fr/hal-00772608 Contributor : Lutz StraßburgerConnect in order to contact the contributor Submitted on : Thursday, January 10, 2013 - 6:08:17 PM Last modification on : Thursday, March 5, 2020 - 6:27:36 PM Long-term archiving on: : Thursday, April 11, 2013 - 4:08:44 AM
Lutz Strassburger. What is the Problem with Proof Nets for Classical Logic ?. Computability in Europe 2010, Jun 2010, Ponta Delgada, Portugal. ⟨hal-00772608⟩