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.
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.
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.
Dalrymple, M., Lamping, J., Pereira, F., and Saraswat, V., 1995, “Linear logic for meaning assembly,” in Proceedings of CLNLP, Edinburgh, South Queensferry: ELSNET.
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.
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.
Girard, J.-Y., Lafont, Y., and Regnier, L., eds., 1995, Advances in Linear Logic, London Mathematical Society Lecture Notes, Cambridge: Cambridge University Press.
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.
Hodas, J. and Miller, D., 1994, “Logic programming in a fragment of intuitionistic linear logic,” Information and Computation 110, 327–365.
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.
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.
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.
Lincoln, P. and Scedrov, A., 1994, “First order linear logic without modalities is NEXPTIME-hard,” Theoretical Computer Science 135, 139–154.
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.
Moortgat, M., 1988, Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus, Dordrecht: Foris.
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.
Morrill, G., 1994, Type Logical Grammar, Dordrecht: Kluwer Academic Publishers.
Oehrle, R., 1994, “Term-labeled categorial type systems,” Linguistics & Philosophy 17, 633–678.
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.
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.
Pentus, M., 1997, “Product-free Lambek calculus and context-free grammars,” Journal of Symbolic Logic 62, 648–660.
Pereira, F. and Shieber, S., 1987, Prolog and Natural Language Analysis, Stanford, CA: CSLI.
Van Benthem, J., 1995, Language in Action: Categories, Lambdas and Dynamic Logic, Cambridge, MA: MIT Press.
Van Benthem, J. and ter Meulen, A., eds., 1997, Handbook of Logic and Language, Amsterdam: Elsevier.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1008399708659