Some remarks on cyclic linear logic

  title={Some remarks on cyclic linear logic},
  author={François M{\'e}tayer},
  journal={Electr. Notes Theor. Comput. Sci.},
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