Girard couples of quantales

J. M. Egger, David Kruml

We introduce the concept of a Girard couple, which consists of two (not necessarily unital) quantales linked by a strong form of duality. The two basic examples of Girard couples a…