Fleury, Arnaud Ribbon braided multiplicative linear logic. (English) Zbl 1073.03035 Mat. Contemp. 24, 39-70 (2003). Summary: We give here three different descriptions of ribbon braided multiplicative linear logic without units: In terms of sequent calculus, in terms of planar proof-net structures with explicit permutation and torsion operators and in terms of semantical proof-nets which are isotopy classes of ribbon graphs embeded in \(\mathbb{R}^3\). This allows us to decide the equality between proofs. Cited in 1 Document MSC: 03F52 Proof-theoretic aspects of linear logic and other substructural logics Keywords:ribbon braided multiplicative linear logic; sequent calculus; planar proof-net structures; semantical proof-nets; ribbon graphs PDFBibTeX XMLCite \textit{A. Fleury}, Mat. Contemp. 24, 39--70 (2003; Zbl 1073.03035)