Substructural logics are formal logics whose Gentzen-style sequent systems abandon some/all structural rules (Weakening, Contraction, Exchange, Associativity). They have extensively been studied in current literature on nonclassical logics from different points of view: as sequent axiomatizations of relevant,

In this very brief note, I raise a few worries about interpreting the Lambek Calculus, admired and cherished as it may be by all connoisseurs, as a base logic of information flow.