Part of
Categorial GrammarEdited by Wojciech Buszkowski, Witold Marciszewski and Johan van Benthem
[Linguistic and Literary Studies in Eastern Europe 25] 1988
► pp. 141–
Edited by Wojciech Buszkowski, Witold Marciszewski and Johan van Benthem
[Linguistic and Literary Studies in Eastern Europe 25] 1988
► pp. 141–
The non-associative Lambek calculus
Cited by
Cited by 15 other publications
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.
Buszkowski, Wojciech
2018. Categorial Grammars and Their Logics. In The Lvov-Warsaw School. Past and Present [Studies in Universal Logic, ], ► pp. 91 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.
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.
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.
Morrill, Glyn
1995. Discontinuity in categorial grammar. Linguistics and Philosophy 18:2 ► pp. 175 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.
Venema, Yde
1996. Tree models and (labeled) categorial grammar. Journal of Logic, Language and Information 5:3-4 ► pp. 253 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
2009. Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms. In Towards Mathematical Philosophy, ► pp. 201 ff.
This list is based on CrossRef data as of 6 april 2024. 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.