| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
What is the Problem with Proof Nets for Classical Logic ?
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.
Cited literature [25 references]
https://hal.inria.fr/hal-00772608
Contributor : Lutz Straßburger Connect 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
Contributor : Lutz Straßburger Connect 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
File
CiE10.pdf
Files produced by the author(s)