Substructural Logics door Paoli Francesco & Francesco Paoli