The Completeness of the Lambek Calculus with Respect to Relational Semantics (1993)

by H Andrka
Venue:Journal of Logic, Language and Information