Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes
- 1 January 1981
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 27 (13-14) , 215-224
- https://doi.org/10.1002/malq.19810271306
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- 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
- The Mathematics of Sentence StructureThe American Mathematical Monthly, 1958