Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download

https://hal.inria.fr/inria-00620126
Contributor : Francois Lamarche <>
Submitted on : Wednesday, September 7, 2011 - 1:30:48 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:01 PM
Document(s) archivé(s) le : Tuesday, November 13, 2012 - 10:05:25 AM

File

TACL11.pdf
Publisher files allowed on an open archive

Identifiers

  • 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, Achim Jung and Yde Venema, Jul 2011, Marseille, France. ⟨inria-00620126⟩

Share

Metrics

Record views

279

Files downloads

233