  The proof nets approach can be extended to larger subsets of linear logic, but then it is less clear how to obtain the same elegant results as for MLL: the original system proposed in  Girard 1987  works for MELL, for example, by associating to the four exponential rules the following hypergraph constructions: