"Substructural logics" - читать интересную книгу автора (Peter Schroeder-Heister, Kosta Dosen)