×

Ribbon braided multiplicative linear logic. (English) Zbl 1073.03035

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.

MSC:

03F52 Proof-theoretic aspects of linear logic and other substructural logics
PDFBibTeX XMLCite