Frobenius Algebras and Classical Proof NetsReportar como inadecuado

Frobenius Algebras and Classical Proof Nets - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.

Autor: François Lamarche - Novak Novakovic -



Documentos relacionados