Completeness Results for Lambek Syntactic Calculus

Wojciech Buszkowski. Completeness Results for Lambek Syntactic Calculus. Math. Log. Q., 32(1-5):13-28, 1986. [doi]

Abstract

Abstract is missing.