Substructural implicational logics including the relevant logic E
scientific article; zbMATH DE number 1420291