The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Symmetric categorial grammar: residuation and Galois connections
[article]
2010
arXiv
pre-print
The Lambek-Grishin calculus is a symmetric extension of the Lambek calculus: in addition to the residuated family of product, left and right division operations of Lambek's original calculus, one also considers a family of coproduct, right and left difference operations, related to the former by an arrow-reversing duality. Communication between the two families is implemented in terms of linear distributivity principles. The aim of this paper is to complement the symmetry between (dual)
arXiv:1008.0170v1
fatcat:7ce74ftpbfauvedtp3coubx2ve