Funder
Russian Foundation for Basic Research
Foundation for the Advancement of Theoretical Physics and Mathematics
Interdisciplinary Scientific and Educational School of Moscow University “Brain, Cognitive Systems, Artificial Intelligence”
Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Reference24 articles.
1. Bar-Hillel, Y., Gaifman, C., & Shamir, E. (1960). On categorial and phrase structure grammars. Bulletin of the Research Council of Israel, 9, 1–6.
2. Buszkowski, W. (2021). In Loukanova, R. (Ed.) Lambek Calculus with Classical Logic (pp. 1–36). Springer. https://doi.org/10.1007/978-3-030-63787-3_1
3. Buszkowski, W. (1984). A note on the Lambek-van Benthem calculus. Bulletin of the Section of Logic, 13(1), 31–35.
4. de Groote, P., Guillaume, B., & Salvati, S. (2004). Vector addition tree automata. In Proceedings of the 19th annual IEEE symposium on logic in computer science (pp. 64–73). https://doi.org/10.1109/LICS.2004.1319601
5. Ginsburg, S., & Spanier, E. H. (1964). Bounded ALGOL-like languages. Transactions of the American Mathematical Society, 113(2), 333–368.