2018. Categorial Grammars and Their Logics. In The Lvov-Warsaw School. Past and Present [Studies in Universal Logic, ], ► pp. 91 ff.
Bransen, Jeroen
2011. The Product-Free Lambek-Grishin Calculus Is NP-Complete. In Logical Aspects of Computational Linguistics [Lecture Notes in Computer Science, 6736], ► pp. 49 ff.
Bransen, Jeroen
2012. The Lambek-Grishin Calculus Is NP-Complete. In Formal Grammar [Lecture Notes in Computer Science, 7395], ► pp. 33 ff.
Béchet, Denis & Annie Foret
2005. k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages. In Logical Aspects of Computational Linguistics [Lecture Notes in Computer Science, 3492], ► pp. 1 ff.
Szczerba, Marek
2001. Relational Models for the Nonassociative Lambek Calculus. In Relational Methods for Computer Science Applications [Studies in Fuzziness and Soft Computing, 65], ► pp. 149 ff.
Van Benthem, Johan
1999. Proofs, Labels and Dynamics in Natural Language. In Logic, Language and Reasoning [Trends in Logic, 5], ► pp. 31 ff.
Kolowska‐Gawiejnowicz, Miroslawa
1997. Powerset Residuated Algebras and Generalized Lambek Calculus. Mathematical Logic Quarterly 43:1 ► pp. 60 ff.
Moortgat, Michael
1996. Multimodal linguistic inference. Journal of Logic, Language and Information 5:3-4 ► pp. 349 ff.
Venema, Yde
1996. Tree models and (labeled) categorial grammar. Journal of Logic, Language and Information 5:3-4 ► pp. 253 ff.
Morrill, Glyn
1995. Discontinuity in categorial grammar. Linguistics and Philosophy 18:2 ► pp. 175 ff.
Zielonka, Wojciech
1989. A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi. Studia Logica 48:1 ► pp. 35 ff.
Zielonka, Wojciech
2000. Cut-Rule Axiomatization of the Syntactic Calculus NL0. Journal of Logic, Language and Information 9:3 ► pp. 339 ff.
Zielonka, Wojciech
2002. On Reduction Systems Equivalent to The Lambek Calculus with the Empty String. Studia Logica 71:1 ► pp. 31 ff.
Zielonka, Wojciech
2009. Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms. In Towards Mathematical Philosophy, ► pp. 201 ff.
Kandulski, Maciej
1988. Phrase Structure Languages Generated by Categorial Grammars With Product. Mathematical Logic Quarterly 34:4 ► pp. 373 ff.
Kandulski, Maciej
1995. On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars. Mathematical Logic Quarterly 41:2 ► pp. 217 ff.
Kandulski, Maciej
1999. Strong Equivalence of Generalized Ajdukiewicz and Lambek Grammars. In Logical Aspects of Computational Linguistics [Lecture Notes in Computer Science, 1582], ► pp. 54 ff.
This list is based on CrossRef data as of 26 november 2025. Please note that it may not be complete. Sources presented here have been supplied by the respective publishers.
Any errors therein should be reported to them.
