Skip to main content
Log in

Linguistic Applications of First Order Intuitionistic Linear Logic

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

Abstract

In this paper we will discuss the first order multiplicative intuitionistic fragment of linear logic, MILL1, and its applications to linguistics. We give an embedding translation from formulas in the Lambek Calculus to formulas in MILL1 and show this translation is sound and complete. We then exploit the extra power of the first order fragment to give an account of a number of linguistic phenomena which have no satisfactory treatment in the Lambek Calculus.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Abrusci, V.M., 1990, “A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic,” Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 36, 11–15.

    Google Scholar 

  • Cervesato, I., Hodas, J.S., and Pfenning, F., 1996, “Efficient resource management for linear logic proof search,” pp. 67–81 in Proceedings of the Fifth International Workshop on Extensions of Logic Programming'96, R. Dyckhoff, H. Herre, and P. Schroeder-Heister, eds., Leipzig: Springer-Verlag.

    Google Scholar 

  • Dalrymple, M., Lamping, J., Pereira, F., and Saraswat, V., 1995, “Linear logic for meaning assembly,” in Proceedings of CLNLP, Edinburgh, South Queensferry: ELSNET.

    Google Scholar 

  • Danos, V., 1990, “La logique linéaire appliquée à l'étude de divers processus de normalisation et principalement du lambda-calcul,” Thèse de Doctorat, Université de Paris VII.

  • Girard, J.-Y., 1987, “Linear logic,” Theoretical Computer Science 50, 1–102.

    Article  Google Scholar 

  • Girard, J.-Y., 1991, “Quantifiers in linear logic II,” in Nuovi problemi della logica e della filosofia della scienza, Volume II, G. Corsi and G. Sambin, eds., Bologna, Italy: CLUEB.

    Google Scholar 

  • Girard, J.-Y., Lafont, Y., and Regnier, L., eds., 1995, Advances in Linear Logic, London Mathematical Society Lecture Notes, Cambridge: Cambridge University Press.

    Google Scholar 

  • Hodas, J., 1992, “Specifying filler-gap dependency parsers in a linear-logic programming language,” pp. 622–636 in Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, K. Apt, ed., Cambridge, MA: MIT Press.

    Google Scholar 

  • Hodas, J. and Miller, D., 1994, “Logic programming in a fragment of intuitionistic linear logic,” Information and Computation 110, 327–365.

    Article  Google Scholar 

  • Kurtonina, N., 1995, “Frames and labels. A modal analysis of categorial inference,” Ph.D. Thesis, OTS Utrecht, ILLC Amsterdam.

  • Lambek, J., 1958, “The mathematics of sentence structure,” American Mathematical Monthly 65, 154–170.

    Article  Google Scholar 

  • Lambek, J., 1961, “On the calculus of syntactic types,” pp. 166–178 in Structure of Language and its Mathematical Aspects, Proceedings of the Symposia in Applied Mathematics XII, R. Jacobson, ed., Providence, RI: American Mathematical Society.

    Google Scholar 

  • Lincoln, P., 1995, “Deciding provability of linear logic formulas,” pp. 109–122 in Advances in Linear Logic, J.-Y. Girard, Y. Lafont, and L. Regnier, eds., Cambridge: Cambridge University Press.

    Google Scholar 

  • Lincoln, P. and Scedrov, A., 1994, “First order linear logic without modalities is NEXPTIME-hard,” Theoretical Computer Science 135, 139–154.

    Article  Google Scholar 

  • Montague, R., 1973, “The proper treatment of quantification in ordinary English,” pp. 247–270 in Approaches to Natural Language, J. Moravcsik et al., eds., Dordrecht: Reidel.

    Google Scholar 

  • Moortgat, M., 1988, Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus, Dordrecht: Foris.

    Google Scholar 

  • Moortgat, M., 1997, “Categorial type logics,” pp. 93–177 in Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds., Amsterdam: Elsevier.

    Google Scholar 

  • Morrill, G., 1994, Type Logical Grammar, Dordrecht: Kluwer Academic Publishers.

    Google Scholar 

  • Oehrle, R., 1994, “Term-labeled categorial type systems,” Linguistics & Philosophy 17, 633–678.

    Article  Google Scholar 

  • Pareschi, R., 1988, “A definite clause version of categorial grammar,” pp. 270–277 in Proceedings of the 26th Annual Meeting of the Association for Computational Linguistics, Buffalo, NY: SUNY.

    Google Scholar 

  • Pentus, M., 1995, “Lambek grammars are context free,” pp. 429–433 in Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, New York: IEEE.

    Google Scholar 

  • Pentus, M., 1997, “Product-free Lambek calculus and context-free grammars,” Journal of Symbolic Logic 62, 648–660.

    Article  Google Scholar 

  • Pereira, F. and Shieber, S., 1987, Prolog and Natural Language Analysis, Stanford, CA: CSLI.

    Google Scholar 

  • Van Benthem, J., 1995, Language in Action: Categories, Lambdas and Dynamic Logic, Cambridge, MA: MIT Press.

    Google Scholar 

  • Van Benthem, J. and ter Meulen, A., eds., 1997, Handbook of Logic and Language, Amsterdam: Elsevier.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Moot, R., Piazza, M. Linguistic Applications of First Order Intuitionistic Linear Logic. Journal of Logic, Language and Information 10, 211–232 (2001). https://doi.org/10.1023/A:1008399708659

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008399708659

Navigation