Chernilovskaya, A., Gehrke, M., &; van Rooijen, L. (2012). Generalized Kripke semantics for the Lambek-Grishin calculus. Logic Journal of IGPL, 20(6), 1110–1132.https://doi.org/10.1093/jigpal/jzr051 

Chernilovskaya, A., Gehrke, M., &; van Rooijen, L. (2012). Generalized Kripke semantics for the Lambek-Grishin calculus. Logic Journal of IGPL, 20(6), 1110–1132.https://doi.org/10.1093/jigpal/jzr051