Frobenius Algebras and Classical Proof Nets

François Lamarche 1 Novak Novakovic 1
1 SEMAGRAMME - Semantic Analysis of Natural Language
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
Abstract : We develop a theory of proof nets for classical propositional logic for which the usual axiom links are replaced by maps in the free Frobenius category on one object generator. We give correctness criteria for two versions of the sequent calculus and we discuss the issue of cut elimination.
Type de document :
Communication dans un congrès
Fifth International Conference on Topology, Algebra and Categories in Logic - TACL 2011, Jul 2011, Marseille, France. 2011
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00620126
Contributeur : Francois Lamarche <>
Soumis le : mercredi 7 septembre 2011 - 13:30:48
Dernière modification le : jeudi 11 janvier 2018 - 06:23:32
Document(s) archivé(s) le : mardi 13 novembre 2012 - 10:05:25

Fichier

TACL11.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00620126, version 1

Collections

Citation

François Lamarche, Novak Novakovic. Frobenius Algebras and Classical Proof Nets. Fifth International Conference on Topology, Algebra and Categories in Logic - TACL 2011, Jul 2011, Marseille, France. 2011. 〈inria-00620126〉

Partager

Métriques

Consultations de la notice

240

Téléchargements de fichiers

165