Lambek Calculus and its relational semantics: Completeness and incompleteness

Hajnal Andréka, Szabolcs Mikulás. Lambek Calculus and its relational semantics: Completeness and incompleteness. Journal of Logic, Language and Information, 3(1):1-37, 1994. [doi]

Abstract

Abstract is missing.