Author:
Kanovich Max,Kuznetsov Stepan,Scedrov Andre
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Abrusci, V.M.: A comparison between Lambek syntactic calculus and intuitionistic linear logic. Zeitschr. Math. Logik Grundl. Math. (Math. Logic Q.) 36, 11–15 (1990)
2. Bar-Hillel, Y., Gaifman, C., Shamir, E.: On categorial and phrase-structure grammars. Bull. Res. Council Israel 9F, 1–16 (1960)
3. Buszkowski, W.: The equivalence of unidirectional Lambek categorial grammars and context-free grammars. Zeitschr. Math. Log. Grundl. Math. 31, 369–384 (1985)
4. Carpenter, B.: Type-Logical Semantics. MIT Press (1998)
5. Girard, J.-Y.: Linear logic. Theor. Comput. Sci. 50(1), 1–101 (1987)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Commutative Lambek Grammars;Journal of Logic, Language and Information;2023-10-30
2. Complexity of the Lambek Calculus and Its Extensions;Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021);2023
3. Infinitary action logic with exponentiation;Annals of Pure and Applied Logic;2022-02
4. Logical Foundations for Hybrid Type-Logical Grammars;Journal of Logic, Language and Information;2022-01-24
5. Decidable Fragments of Calculi Used in CatLog;Studies in Computational Intelligence;2021-11-02