We present an embedding of the Lambek–Grishin calculus into an extension of the nonassociative Lambek calculus with negation. The embedding is based on the De Morgan interpretation of the dual Grishin connectives.

中文翻译：

---

DE MORGAN 对 LAMBEK-GRISHIN 微积分的解释

我们将 Lambek-Grishin 演算嵌入到带否定的非结合 Lambek 演算的扩展中。嵌入基于双 Grishin 连接词的 De Morgan 解释。