2023. Commutative Lambek Grammars. Journal of Logic, Language and Information 32:5 ► pp. 887 ff.
Feng, Yufei, Xiaoyu Yang, Xiaodan Zhu & Michael Greenspan
2022. Neuro-symbolic Natural Logic with Introspective Revision for Natural
Language Inference. Transactions of the Association for Computational Linguistics 10 ► pp. 240 ff.
Catta, Davide & Symon Jory Stevens-Guille
2021. Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution. In Logic, Language, Information, and Computation [Lecture Notes in Computer Science, 13038], ► pp. 269 ff.
Buszkowski, Wojciech
2018. Categorial Grammars and Their Logics. In The Lvov-Warsaw School. Past and Present [Studies in Universal Logic, ], ► pp. 91 ff.
Krivochen, Diego Gabriel
2018. De Morgan’s laws and NEG-raising: a syntactic view. Linguistic Frontiers 1:2 ► pp. 112 ff.
Oehrle, Richard T.
2011. Multi‐Modal Type‐Logical Grammar. In Non‐Transformational Syntax, ► pp. 225 ff.
Bernardi, Raffaella & Michael Moortgat
2010. Continuation semantics for the Lambek–Grishin calculus. Information and Computation 208:5 ► pp. 397 ff.
Fulop, Sean A.
2004. Semantic bootstrapping of type-logical grammar. Journal of Logic, Language and Information 14:1 ► pp. 49 ff.
Fulop, Sean A.
2005. Semantic Bootstrapping of Type-Logical Grammar. Journal of Logic, Language and Information 14:1 ► pp. 49 ff.
Muskens, Reinhard
2003. Language, Lambdas, and Logic. In Resource-Sensitivity, Binding and Anaphora [Studies in Linguistics and Philosophy, 80], ► pp. 23 ff.
Bavin, Edith L., Penny Lee, Ken Turner, Laurie Bauer, Kate Burridge & Cliff Goddard
1993. Reviews. Australian Journal of Linguistics 13:2 ► pp. 229 ff.
Kandulski, Maciej
1993. Normal form of derivations in the nonassociative and commutative lambek calculus with product. Mathematical Logic Quarterly 39:1 ► pp. 103 ff.
Kandulski, Maciej
1995. On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars. Mathematical Logic Quarterly 41:2 ► pp. 217 ff.
Morrill, Glyn
1990. Intensionality and boundedness. Linguistics and Philosophy 13:6 ► pp. 699 ff.
[no author supplied]
2024. References. In Formal Semantics in Modern Type Theories, ► pp. 209 ff.
This list is based on CrossRef data as of 24 october 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.