References
Blackburn, P., Dymetman, M., Lecomte, A., Ranta, A., Retoré, C., and Villemonte de la Clergerie, E., 1997, “Logical aspects of computational linguistics: An introduction,” pp. 1–20 in Logical Aspects of Computational Linguistics, LACL'96, C. Retoré, ed., LNCS/LNAI, Vol. 1328, Berlin: Springer-Verlag.
Buszkowski, W., 1997, “Mathematical linguistics and proof theory,” pp. 683–736 in Handbook of Logic and Language, van Benthem and ter Meulen, eds., Amsterdam: North-Holland/Elsevier.
Casadio, C., 1988, “Semantic categories and the development of categorial grammars,” pp. 95–124 in Categorial Grammars and Natural Language Structures, R. Oehrle, E. Bach, and D. Wheeler, eds., Dordrecht: Reidel.
Girard, J.-Y., 1987, “Linear logic,” Theoretical Computer Science 50(1), 1–102.
Girard, J.-Y., 1995, “Linear logic: Its syntax and semantics,” pp. 1–42 in Advances in Linear Logic, J.-Y. Girard, Y. Lafont, and L. Regnier, eds., London Mathematical Society Lecture Notes, Vol. 222, Cambridge: Cambridge University Press.
Lambek, J., 1958, “The mathematics of sentence structure,” American Mathematical Monthly 65, 154–170.
Martin-Löf, P., 1984, Intuitionistic Type Theory, Napoli: Bibliopolis (Lecture Notes by G. Sambin).
Moortgat, M., 1997, “Categorial type logic,” pp. 93–117 in Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds., Amsterdam: North-Holland/Elsevier.
Partee, B. and Hendriks, H., 1997, “Montague grammar,” pp. 5–92 in Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds., Amsterdam: North-Holland/Elsevier.
Pentus, M., 1997, “Product-free lambek calculus and context-free grammars,” Journal of Symbolic Logic 62(2), 648–660.
Pereira, F.C.N. and Shieber, S.M., 1987, Prolog and Natural-Language Analysis, CSLI Lecture Notes, Vol. 10, Stanford, CA: CSLI (distributed by Cambridge University Press).
Retoré, C., 1996, “Calcul de lambek et logique linéaire,” Traitement Automatique des Langues 37(2), 39–70.
Rozenberg, G. and Salomaa, A., eds., 1997, Handbook of Formal Languages, Berlin: Springer-Verlag.
Troelstra, A.S., 1992, Lectures on Linear Logic, CSLI Lecture Notes, Vol. 29, Stanford, CA: CSLI (distributed by Cambridge University Press).
van Benthem, J., 1991, Language in Action: Categories, Lambdas, and Dynamic Logic, Studies in Logic and the Fundations of Mathematics, Vol. 130, Amsterdam: North-Holland/Elsevier.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Retoré, C. Introduction. Journal of Logic, Language and Information 7, 395–398 (1998). https://doi.org/10.1023/A:1008304310349
Issue Date:
DOI: https://doi.org/10.1023/A:1008304310349