Skip to Main content Skip to Navigation
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-00772608
Contributor : Lutz Straßburger <>
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)

Identifiers

  • HAL Id : hal-00772608, version 1

Collections

Citation

Lutz Straßburger. What is the Problem with Proof Nets for Classical Logic ?. Computability in Europe 2010, Jun 2010, Ponta Delgada, Portugal. ⟨hal-00772608⟩

Share

Metrics

Record views

537

Files downloads

339