On the Lambek Calculus with an Exchange Modality depaiva-eades-jiang-2019-lambek-exchangeEPTCS · 2019