Substructural Logics by Paoli Francesco & Francesco Paoli