Substructural logics - Schroeder-Heister, Peter; Došen, Kosta (Studies in logic and computation, 1993)