Extending intuitionistic linear logic with knotted structural rules.

Abstract

In the present paper, extensions of the intuitionistic linear logic with knotted structural rules are discussed. Each knotted structural rule is a rule of inference in sequent calculi of the form: from T,A,... ,A (n times) -