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.
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
Long-term archiving on: Tuesday, November 13, 2012 - 10:05:25 AM
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⟩
