“A Useful Substructural Logic,” Bulletin of the Interest Group in Pure and Applied Logics 2 (1994) 137–148.
I defend the extension of the lambek calculus with a distributive extensional conjunction and disjunction. I show how it independently arises in linguistics, information flow and relevant logics, and relation algebra. I give the logic a cut-free Gentzenisation and show that it is decidable.