The Lambek Calculus
Author:
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 35-68
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Completeness Results for Lambek Syntactic CalculusMathematical Logic Quarterly, 1986
- Essays in Logical Semantics1986
- The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free GrammarsMathematical Logic Quarterly, 1985
- A Completeness Theorem for the Lambek Calculus of Syntactic CategoriesMathematical Logic Quarterly, 1985
- Meaning, Use, and Interpretation of Language1983
- On the order of wordsLinguistics and Philosophy, 1982
- Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation SchemesMathematical Logic Quarterly, 1981
- A direct proof of the equivalence of free categorial grammars and simple phrase structure grammarsStudia Logica, 1978
- The equivalence of two concepts of categorial grammarInformation and Control, 1967
- The Mathematics of Sentence StructureThe American Mathematical Monthly, 1958