We study ternary relational semantics for LG: a symmetric version of the Lambek calculus with interaction principles due to Grishin [10]. We obtain completeness on the basis of a Henkin-style weak filter construction. © Springer-Verlag Berlin Heidelberg 2010.
CITATION STYLE
Kurtonina, N., & Moortgat, M. (2010). Relational semantics for the Lambek-Grishin calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6149 LNAI, pp. 210–222). https://doi.org/10.1007/978-3-642-14322-9_16
Mendeley helps you to discover research relevant for your work.