| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Frobenius Algebras and Classical Proof Nets
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.
Cited literature [4 references]
https://hal.inria.fr/inria-00620126
Contributor : Francois Lamarche Connect in order to contact the contributor
Submitted on : Wednesday, September 7, 2011 - 1:30:48 PM
Last modification on : Saturday, October 16, 2021 - 11:26:06 AM
Long-term archiving on: : Tuesday, November 13, 2012 - 10:05:25 AM
Contributor : Francois Lamarche Connect in order to contact the contributor
Submitted on : Wednesday, September 7, 2011 - 1:30:48 PM
Last modification on : Saturday, October 16, 2021 - 11:26:06 AM
Long-term archiving on: : Tuesday, November 13, 2012 - 10:05:25 AM
File
TACL11.pdf
Publisher files allowed on an open archive