Frobenius Algebras and Classical Proof NetsReport as inadecuate

Frobenius Algebras and Classical Proof Nets - Download this document for free, or read online. Document in PDF available to download.

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.

Author: François Lamarche - Novak Novakovic -



Related documents