Meeting strength in substructural logics
scientific article; zbMATH DE number 724127