Meeting strength in substructural logics - Venema, Yde (1993)