Part of
Categorial Grammar
Edited by Wojciech Buszkowski, Witold Marciszewski and Johan van Benthem
[Linguistic and Literary Studies in Eastern Europe 25] 1988
► pp. 141
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. DOI logo
Bransen, Jeroen
2012. The Lambek-Grishin Calculus Is NP-Complete. In Formal Grammar [Lecture Notes in Computer Science, 7395],  pp. 33 ff. DOI logo
Buszkowski, Wojciech
2018. Categorial Grammars and Their Logics. In The Lvov-Warsaw School. Past and Present [Studies in Universal Logic, ],  pp. 91 ff. DOI logo
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. DOI logo
Kandulski, Maciej
1988. Phrase Structure Languages Generated by Categorial Grammars With Product. Mathematical Logic Quarterly 34:4  pp. 373 ff. DOI logo
Kandulski, Maciej
1995. On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars. Mathematical Logic Quarterly 41:2  pp. 217 ff. DOI logo
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. DOI logo
Kolowska‐Gawiejnowicz, Miroslawa
1997. Powerset Residuated Algebras and Generalized Lambek Calculus. Mathematical Logic Quarterly 43:1  pp. 60 ff. DOI logo
Moortgat, Michael
1996. Multimodal linguistic inference. Journal of Logic, Language and Information 5:3-4  pp. 349 ff. DOI logo
Morrill, Glyn
1995. Discontinuity in categorial grammar. Linguistics and Philosophy 18:2  pp. 175 ff. DOI logo
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. DOI logo
Van Benthem, Johan
1999. Proofs, Labels and Dynamics in Natural Language. In Logic, Language and Reasoning [Trends in Logic, 5],  pp. 31 ff. DOI logo
Venema, Yde
1996. Tree models and (labeled) categorial grammar. Journal of Logic, Language and Information 5:3-4  pp. 253 ff. DOI logo
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. DOI logo
Zielonka, Wojciech
2009. Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms. In Towards Mathematical Philosophy,  pp. 201 ff. DOI logo

This list is based on CrossRef data as of 7 may 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.