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.
Type de document :
Communication dans un congrès
Computability in Europe 2010, Jun 2010, Ponta Delgada, Portugal. 2010
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00772608
Contributeur : Lutz Straßburger <>
Soumis le : jeudi 10 janvier 2013 - 18:08:17
Dernière modification le : mercredi 25 avril 2018 - 10:45:20
Document(s) archivé(s) le : jeudi 11 avril 2013 - 04:08:44

Fichier

CiE10.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 2010. 〈hal-00772608〉

Partager

Métriques

Consultations de la notice

241

Téléchargements de fichiers

83