A Completeness Theorem for the Lambek Calculus of Syntactic Categories

The Mathematics of Sentence Structure

Joachim Lambek · American Mathematical Monthly · 1958 · 1.3K citations

Applied Linguistics, Syntax, Sentence Structure +10

The Mathematics of Sentence Structure

Joachim Lambek · American Mathematical Monthly · 1958 · 533 citations

Syntax, Sentence Structure, Computational Linguistics +7

Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes

Wojciech Zielonka · Mathematical logic quarterly · 1981 · 46 citations

Foundation Of Mathematics, Formal System, Sequent Calculus +1

Compatibility of a Categorial Grammar With an Associated Category System

Wojciech Buszkowski · Mathematical logic quarterly · 1982 · 44 citations

Syntax, Grammatical Formalism, Computational Linguistics +8

The equivalence of two concepts of categorial grammar

Joel M. Cohen · Information and Control · 1967 · 38 citations

Syntax, Grammatical Formalism, Grammar +5