Contraction-free proofs and finitary games for Linear Logic

André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz

In the standard sequent presentations of Girard's Linear Logic (LL), there are two "non-decreasing" rules, where the premises are not smaller than the conclusion, namely the cut an…