A Completeness Theorem for the Lambek Calculus of Syntactic Categories

Publisher Website

1 January 1985

journal article
Published by Wiley in Mathematical Logic Quarterly

Vol. 31 (14-18) , 235-241
https://doi.org/10.1002/malq.19850311405

Abstract

No abstract available

This publication has 5 references indexed in Scilit:

Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus
Studia Logica, 1978
The equivalence of two concepts of categorial grammar
Information and Control, 1967
On the calculus of syntactic types
Published by American Mathematical Society (AMS) ,1961
The Mathematics of Sentence Structure
The American Mathematical Monthly, 1958
The Mathematics of Sentence Structure
The American Mathematical Monthly, 1958