What is the Problem with Proof Nets for Classical Logic ? - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

What is the Problem with Proof Nets for Classical Logic ?

Lutz Strassburger
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
CV

Résumé

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
CiE10.pdf (164.15 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Lutz Straßburger  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00772608

Soumis le : jeudi 10 janvier 2013-18:08:17

Dernière modification le : jeudi 11 mai 2023-11:40:22

Archivage à long terme le : jeudi 11 avril 2013-04:08:44

Télécharger pour visualiser

Dates et versions

hal-00772608 , version 1 (10-01-2013)

Identifiants

  • HAL Id : hal-00772608 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS LIX X-LIX X-DEP-INFO
262 Consultations
151 Téléchargements

Partager

Gmail Facebook X LinkedIn More