Introduction to substructural logics - Restall, Greg (Routledge Publishers, 2000)