No CrossRef data available.
Article contents
DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS
Published online by Cambridge University Press: 26 February 2019
Abstract
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.
Keywords
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2019