Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Andréka, H., Mikulaś, S.: Lambek calculus and its relational semantics: completeness and incompleteness. Journal of Logic, Language and Information 3, 1–37 (1994)
2. Bar-Hillel, Y., Gaifman, C., Shamir, E.: On categorial and phrase structure grammars, Bulletin Res. Council Israel F9, 155-166 (1960)
3. Buszkowski, W.: Some decision problems in the theory of syntactic categories. Zeitschrift f. math. Logik und Grundlagen der Mathematik 28, 539–548 (1982)
4. Buszkowski, W.: The equivalence of unidirectional Lambek categorial grammars and context-free grammars. Zeitschrift f. math. Logik und Grundlagen der Mathematik 31, 369–384 (1985)
5. Buszkowski, W.: The finite model property for BCI and related systems. Studia Logica 57, 303–323 (1996)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献