Some remarks on cyclic linear logic

@article{Mtayer1996SomeRO,
  title={Some remarks on cyclic linear logic},
  author={François M{\'e}tayer},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={1996},
  volume={3},
  pages={130-137}
}
We study three fragments of multiplicative linear logic with circular exchange re spectively LLNC containing all propositional variables LLNC a builded on a single variable and the constant only fragment LLNC By using non commutative proofnets we show that the decision problems of these fragments are polynomially equivalent