Substructural logics - Schroeder-Heister, Peter; Dos?en, Kosta; Dosen, Kosta (Studies in logic and computation ;, 1993)