1. The research of the third author has been made possible by a fellowship of the Royal Netherlands Academy of Arts and Sciences.
2. Our presentation is not justified from the historical perspective. For instance, the idea of a relational interpretation of Lambek’s Calculus is due to [van Benthem 1989], 30 years after the introduction of the system by Lambek.