Abstract
The aim of this work is to give an alternative presentation for the
multiplicative fragment of cyclic linear logic of Yetter. The new
presentation uses, as formalism, the calculus of structures, and has
the interesting feature of avoiding the cycling rule. The main point
in this work is to show how cyclicity can be substituted by
deepness, ie the possibility of applying a proof rule in any
point of a formula. We present a proof of cut
elimination for the new calculus.