Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus