Abstract
Lambek categorial grammars is a class of formal grammars based on the Lambek calculus. Pentus proved in 1993 that they generate exactly the class of context-free languages without the empty word. In this paper, we study categorial grammars based on the Lambek calculus with the permutation rule LP. Of particular interest is the product-free fragment of LP called the Lambek-van Benthem calculus LBC. Buszkowski in his 1984 paper conjectured that grammars based on the Lambek-van Benthem calculus (LBC-grammars for short) generate exactly permutation closures of context-free languages. In this paper, we disprove this conjecture by presenting a language generated by an LBC-grammar that is not a permutation closure of any context-free language. Firstly, we introduce an ad-hoc modification of vector addition systems called linearly-restricted branching vector addition systems with states and additional memory (LRBVASSAMs for short) and prove that the latter are equivalent to LBC-grammars. Then we construct an LRBVASSAM that generates a non-semilinear set and thus disprove Buszkowski’s conjecture.
Since Buszkowski’s conjecture is false, not so much is known about the languages generated by LBC-grammars or by LP-grammars. The equivalence of LRBVASSAMs and LBC-grammars allows us to establish a number of their properties. We show that LP-grammars generate the same class of languages as LBC-grammars; that is, removing product from LP does not decrease expressive power of corresponding categorial grammars. We also prove that this class of languages is closed under union, intersection, concatenation, and Kleene plus.
Similar content being viewed by others
Notes
Here, however, we use a slightly different notation.
An \(\textrm{LBC}\)-grammar \(\langle S, \triangleright \rangle \) is of order less than or equal to 1 if and only if \(a \triangleright T\) implies that T is of the form \(p_1 \backslash \left( \dotsc \backslash \left( p_{k-1} \backslash \left( p_k \backslash q\right) \right) \dotsc \right) \) for some \(k \in \mathbb {N}\) and some primitive formulas \(p_i,q\).
We apologize to the reader for such long abbreviations.
Actually, it suffices to require that \(\Pi \) is non-empty in the rule \((\backslash _R)\); then, one can prove that all antecedents of derivable sequents are non-empty.
QL is an abbreviation for “quadratic language”.
As an exercise, the reader might check that LRBVASSAMs generate the same class of languages as LRBVASAMs, which are LRBVASSAMs with only one state.
DPO grammars extend unrestricted Chomsky grammars to hypergraphs.
References
Bar-Hillel, Y., Gaifman, C., & Shamir, E. (1960). On categorial and phrase structure grammars. Bulletin of the Research Council of Israel, 9, 1–6.
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
Buszkowski, W. (1984). A note on the Lambek-van Benthem calculus. Bulletin of the Section of Logic, 13(1), 31–35.
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
Ginsburg, S., & Spanier, E. H. (1964). Bounded ALGOL-like languages. Transactions of the American Mathematical Society, 113(2), 333–368.
Ginsburg, Seymour, & Spanier, Edwin H. (1966). Semigroups, Presburger formulas, and languages. Pacific Journal of Mathematics, 16(2), 285–296.
Goldstine, J. (1977). A simplified proof of Parikh’s theorem. Discrete Mathematics, 19(3), 235–239. https://doi.org/10.1016/0012-365X(77)90103-0
Hyland, M., & de Paiva, V. (1993). Full intuitionistic linear logic. Annals of Pure and Applied Logic, 64(3), 273–291. https://doi.org/10.1016/0168-0072(93)90146-5
Kanazawa, M. (1992). The Lambek calculus enriched with additional connectives. Journal of Logic, Language and Information, 1(2), 141–171.
Kanovich, M. I., Kuznetsov, S. L., & Scedrov, A. (2019). The complexity of multiplicative-additive lambek calculus: 25 years later. In Iemhoff, R., Moortgat, M., & de Queiroz, R.J.G.B. (Eds.) WoLLIC 2019, Utrecht, The Netherlands, Proceedings. Lecture Notes in Computer Science (Vol. 11541, pp. 356–372). Springer. https://doi.org/10.1007/978-3-662-59533-6_22
Karp, R. M., & Miller, R. E. (1969). Parallel program schemata. Journal of Computer and System Sciences, 3(2), 147–195. https://doi.org/10.1016/S0022-0000(69)80011-5
Kuznetsov, Stepan L. (2021). Personal communication.
Lambek, J. (1958). The mathematics of sentence structure. The American Mathematical Monthly, 65(3), 154–170.
Max, I. (1995). Kanovich: Petri nets, Horn programs, linear logic and vector games. Annals of Pure and Applied Logic, 75(1–2), 107–135. https://doi.org/10.1016/0168-0072(94)00060-G
Moot, R., & Retoré, C. (2012). The Logic of Categorial Grammars - A Deductive Account of Natural Language Syntax and Semantics. Lecture Notes in Computer Science (Vol. 6850). Springer.
Parikh, R. J. (1961). Language generating devices. Quarterly Progress Report, 60, 199–212.
Pentus, M. (1993). Lambek grammars are context free. In Proceedings of the 8th Annual Symposium on Logic in Computer Science (pp. 429–433). IEEE Computer Society. https://doi.org/10.1109/LICS.1993.287565
Pshenitsyn, T. (2023). From double pushout grammars to hypergraph lambek grammars with and without exponential modality. In Grabmayer, C. (Ed.) Proceedings TERMGRAPH 2022, Technion, Haifa, Israel. EPTCS (Vol. 377, pp. 9–26). https://doi.org/10.4204/EPTCS.377.1
Rambow, O. (1994). Multiset-valued linear index grammars: Imposing dominance constraints on derivations. In ACL (pp. 263–270). Morgan Kaufmann Publishers/ACL. https://doi.org/10.3115/981732.981768
Valentín, Oriol (2012). Theory of discontinuous Lambek calculus. PhD thesis, Universitat Autònoma de Barcelona. Departament de Filologia Catalana.
van Benthem, J. (1983). The Semantics of Variety in Categorial Grammar. Linguistic and Literary Studies in Eastern Europe, 25, 37–55.
van Benthem, J. (1991). Language in action. Journal of Philosophical Logic, 20(3), 225–263. https://doi.org/10.1007/BF00250539
Verma, K. N. (2005). Jean Goubault–Larrecq: Karp–Miller trees for a branching extension of VASS. Discrete Mathematics and Theoretical Computer Science, 7(1), 217–230.
Wayne, D. (1988). Blizard: Multiset theory. Notre Dame Journal of Formal Logic, 30(1), 36–66. https://doi.org/10.1305/ndjfl/1093634995
Acknowledgements
I thank Stepan L. Kuznetsov for bringing my attention to this problem and for suggesting valuable ideas to explore. I also thank the anonymous reviewer for his careful attention and remarks that helped me to improve my work.
Funding
The study was supported by the Theoretical Physics and Mathematics Advancement Foundation “BASIS”; by RFBR, project number 20-01-00670; and by the Interdisciplinary Scientific and Educational School of Moscow University “Brain, Cognitive Systems, Artificial Intelligence”.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Pshenitsyn, T. Commutative Lambek Grammars. J of Log Lang and Inf 32, 887–936 (2023). https://doi.org/10.1007/s10849-023-09407-z
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-023-09407-z