Proof nets without links for cyclic linear logic and Lambek calculus (joint work with S. Pogodalla)
Résumé
We extend the proof net up to associativity and commutativity to the non commutative cyclic case, and thus provide proof net for the assocative Lambek calculus for which associativity of connectives is equality of the proofs.