Logical aspects of computational linguistics: An introduction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1328, Issue , 1997, Pages 1-20

  Blackburn, Patrick ^a   Dymetman, Marc ^b   Lecomte, Alaln ^c   Ranta, Aarne ^d   Retor, Christian ^e   De La Clergerie, Eric Villemonte ^f  

^a Universitäit des Saarlandes   (Germany)

^b Data Mining and Machine Learning Group   (France)

^c UNIV GRENOBLE ALPES   (France)

^d UNIVERSITY OF HELSINKI   (Finland)

^e INRIA   (France)

^f INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; PAPER; SEMANTICS;

ITS APPLICATIONS; LINGUISTIC MOTIVATION; LOGICAL SEMANTICS; RESEARCH AGENDA;

CLASSIFICATION (OF INFORMATION);

EID: 84949804413     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0052148     Document Type: Conference Paper

References (120)

1. Anne Abeill & Les nouvelles syntaxes. Armand Colin, Pads, 1993.
2. V. Michele Abrusci. Phase semantics and sequent calculus for pure non-commutative classical linear logic. Journal of Symbolic Logic, 56(4):1403-1451, December 1991.
3. V. Michele Abrusci. Exchange connectives for non commutative classical linear propositional logic. In V. Michele Abrusci, Claudia Casadio, and Michael Moortgat, editors, Linear Logic and Lambek Calculus. DYANA Occasional Publications, Institute for Logic, Language and Information, Amsterdam,1993.
4. V. Michele Abrusci. Coherence semantics for non-commutative linear logic and ambiguity in natural language. Technical report, Universität di Roma tre, 1997. Talk at the ATALA meeting, Paris, December 94.
5. V. Michele Abrusci. Non-commutative proof nets. In Girard et al. [55], pages 271-296.
6. V. Michele Abrusci. Syntactical categories of a natural language as facts of a cyclic phase space. Technical report, Universita di Roma tre, 1997.
7. Anthony E. Ades and Mark J. Steedman. On the order of words. Linguistics and Philosophy, 4:517-558, 1982.
8. Kasimierz Adjuckiewicz. Die syntaktische konnexität. StudiaPhilosophica, 1:1-27, 1935.
9. Emmon Bach. Some generalizations of categorial grammars. In Fred Landman and Frank Veltman, editors, Varieties of Formal Semantics, pages 1-23. Foris, Dordrecht, 1984.
10. Yehoshua Bar-Hillel. A quasi-arithmetical notation for syntactic description. Language, 29:47-58, 1953.
11. Yehoshua Bar-Hillel. Language and information. Addison Wesley, Reading MA, 1964.
12. Bruno Barras, Samuel Boutin, Cristina Cornes, Judicael Courant, Jean-Christophe Filliatre, Eduardo Gimenez, Hugo Herbelin, Gerard Huet, Cesar Munoz, Chetan Murthy, Catherine Parent, Christine Panlin-Mohring, Amokrane Saibi, Benjamin Wemer The Coq Proof Assistant Reference Manual: Version 6.1 Technical Report RT-203, INRIA, Rocquencourt, May 1997.
13. Guy Barry and Glyn V. Morrill, editors. Studies in Categorial Grammar, Edinburgh Working Papers in Cognitive Science, Edinburgh, 1990.
14. Jon Barwise and Robin Cooper. Generalised quantifiers and natural language. Linguistics and Philosophy, 4:159-219, 1981.
15. Jon Barwise and John Perry. Situations and Attitudes. MIT Press, Cambridge MA, 1983.
16. Johan van Benthem. Essays in logical semantics. D. Reidel, Dordrecht, 1986.
17. Johan van Benthem. The lambek calculus, In Oehrle et al. [91], pages 35-68.
18. Johan van Benthem. Language in action: Categories, Lambdas and Dynamic Logic, Number 130 of Sudies in Logic and the foundation of mathematics. North-Holland, Amsterdam, 1991.
19. Johan van Benthem and Alice ter Meulen, editors. Handbook of Logic and Language. North-Holland, Amsterdam, 1997.
20. Patrick Blackburn, Wilfried Meyer-Viol, and Maarten de Rijke. A proof system for finite trees. In Hans Kleine BOning, editor, Computer Science Logic '95, Volume 1092 of Lecture Notes in Computer Science, pages 86-105. Springer, Heidelberg, 1996.
21. Joan Bresnan, editor. The mental representation of grammatical relations. MIT Press, Cambridge MA, 1982.
22. Wojciech Buszkowski. Completeness results for lambek syntactic calculus. Zeitschriftfiir mathematische Logik und Grandlagen der Mathematik, 32:13-28, 1986.
23. Wojciech Buszkowski. Generative power of categorial grammar. In Oehrle et al. [91], pages 69-94.
24. Wojciech Buszkowski. Mathematical linguistics and proof theory. In van Benthem and ter Meulen [19], pages 683-736.
25. Rudolf Carnap. Meaning and Necessity: A Study in Semantics and Modal Logic. University of Chicago Press, 1946.
26. Bob Carpenter. ALE: The Attribute Logic Engine user's guide. Technical report, Carnegie Mellon University, Laboratory for Computational Linguistics, 1992.
27. Bob Carpenter. Lectures on Type-Logical Semantics. MIT Press, Cambridge MA, 1996.
28. Bob Carpenter. The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution Number 32 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.
29. Claudia Casadio. Semantic categories and the development of categorial grammars. In Oehrle et al. [91], pages 95-124.
30. Noam Chomsky. The logical structure of linguistic theory. Plenum, New York, 1955.
31. Noam Chomsky. Three models for the description of language. IRE Transactions on Information Theory, 2(3): 113-124, 1956.
32. Noam Chomsky. On certain formal properties of grammars. Information and control, 2:137-167, 1959.
33. Noam Chomsky. Formal properties of grammars. In Handbook of Mathematical Psychology, volume 2, pages 323-418. John Wiley and sons, New York, 1963.
34. Noam Chomsky. Aspects of the Theory of Syntax. MIT Press, Cambridge MA, 1965.
35. Noam Chomsky. Cartesian Linguistics. MIT Press, Cambridge MA,1966.
36. Noam Chomsky. Reflections on language. Pantheon, New York, 1975.
37. Noam Chomsky. Some concepts and consequences of the theory of government and binding. MIT Press, Cambridge MA, 1982.
38. Noam Chomsky. Barriers. MIT Press, Cambridge MA, 1987.
39. Noam Chomsky. The Minimalist Program. MIT Press, Cambridge MA, 1996.
40. Noam Chomsky and Marcel-Paul Schiitzenberger. The algebraic theory of context-free languages. In P. Bradford and D. Hirschberg, editors, Computer programming and formal systems, pages 118-161. North-Holland, Amsterdam, 1963.
41. Alonzo Church. A formulation of the logic of sense and denotation. In P. Henle, H. Kallen and H. Langer editors, Structure, Method and Meaning: Essays in honor of Henry M. Sheffer. Liberal Arts Press, New York, 1951.
42. Jacques Cohen. A view of the origins and development of Prolog. Communications of the ACM, 31(1):26-37, January 1988.
43. Jean-Pierre Desclés. Langages applicatifs, langues naturelles et cognition. Hermes, Paris, 1990.
44. Michael Doma. The Comprehensive Unification Formalism user's manual. Technical report, Institut für maschinelle Sprachverarbeitung, Universität Stuttgart, 1994.
45. David Dowty. Word Meaning andMontague Grammar. D. Reidel, Dordrecht, 1979.
46. David Dowty. Type-raising, functional composition, and non-constituent coordination. In Oehrle et al. [911, pages 153-198.
47. Martin Emms. Extraction covering of the Lambek calculus are not context free. In 9th Amsterdam Colloquium, pages 268-286, 1993.
48. Martin Emms. Parsing with polymorphism. In 6th Annual Conference of the European Chapter of the Association for Computational Linguistics, 1993.
49. Martin Emms. Undecidability result for polymorphic Lambek calculus. In lOth Amsterdam Colloquium, 1995.
50. Gottlob Frege. Begriffsschrifl Louis Nerbert, Halle A/S, 1879. English translation in: "From Frege to GOdel", edited by van Heijenoort, Harvard University Press, Cambridge MA, 1967.
51. Gerald Gazdar, Ewan Klein, Geoffrey Pullum, and Ivan Sag. Generalized Phrase Structure Grammar. Harvard University Press, Cambridge MA, 1985.
52. Ferenc G6cseg and Magnus Steinby. Tree Languages, chapter 1, pages 1-68. Volume 3 of Rozenberg and Salomaa [104], 1996.
53. Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50(1): 1-102, 1987.
54. Jean-Yves Girard. Linear logic: its syntax and semantics. In Girard et al. [55], pages 1--42.
55. Jean-Yves Girard, Yves Lafont, and Lanrent Regnier, editors. Advances in Linear Logic, Volume 222 of London Mathematical Society Lecture Notes. Cambridge University Press, 1995.
56. Jean-Yves Girard, Yves Lafont, and Paul Taylor. Proofs and Types. Number 7 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988.
57. Valentin Goranko and Solomon Passy. Using the universal modality: Gains and questions. Journal of Logic and Computation, 2:5-30, 1992.
58. Jeroen Groenendijk and Martin Stokhof. Dynamic predicate logic. Linguistics and Philosophy, 14:39-100, 1991.
59. Philippe de Groote and Christian Retort. Semantic readings of proof nets. In Geert-Jan Kruijff, Glyn V. Morrill, and Richard T. Oehrle, editors, Formal Grammar, Proceedings of the Conference of the European Summer School in Logic, Language and Information, Prague, August 1996. pages 57-70.
60. Irene Heim. The Semantics of Definite and Indefinite Noun Phrases. PhD thesis, University of Massachusetts, Amherst, 1982.
61. Pascal van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge MA, 1989.
62. Mark Hepple. The Grammar and Processing of Order and Dependency, a categorial approach. PhD thesis, Centre of Cognitive Sciences, Edinburgh, 1990.
63. Mark Johnson. Attribute-Value Logic and the Theory of Grammar. Number 16 in CSLI Lecture Notes. Center for the Study of Language and Information, Stanford CA, 1989. (distributed by Cambridge University Press)
64. Mark Johnson. Proof nets and the complexity of proeessing center-embedded constructions. Technical report, Brown University, Providence RI, 1997.
65. Aravind K. Joshi, Leon Levy, and Masako Takahashi. Tree adjunct grammar. Journal of Computer and System Sciences, 10:136-163, 1975.
66. Aravind K. Joshi. Tree adjoining grammars: How much context-sensitivity is required to provide reasonable structural descriptions? In David Dowty, Lauri Kartunen, and Arnold M. Zwicky, editors, Natural Language Parsing, pages 206-250. Cambridge University Press, 1988.
67. Aravind K. Joshi and Yves Schabes. Tree-Adjoining Grammars, chapter 2, pages 69-124. Volume 3 of Rozenberg and Salomaa [104], 1996.
68. Hans Kamp. A theory of truth and semantic representation. In Janssen, Groeneodijk and Stokhof, editors, Proceedings of the Third Amsterdam Colloquium, Foils, Dordrecht, 1981.
69. Hans Kamp and Uwe Reyle. From Discourse to Logic. Kluwer, Dordrecht, 1993.
70. Ronald Kaplan and Joan Bresnan. Lexical functional grammar: a formal system for grammatical representation, chapter 4, pages 173-281. In Bresnan [21], 1982
71. Bill Keller. Feature Logics, Infinitary Descriptions, and Grammar, volume 44 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford CA, 1989. (distributed by Cambridge University Press)
72. Saul Kripke. A completeness theorem in modal logic. Journal of Symbolic Logic, 24:1-14, 1959.
73. Francois Lamarche and Christian Retoré Proof nets for the Lambek calculusan overview. In Abrusci and Casadio, editors, Proofs and linguistic categories, proceedings of 1996 Roma Workshop, pages 241-262. CLUEB, Bologna, 1996.
74. Joachim Lambek. The mathematics of sentence structure. American mathematical monthly, pages 154-170, 1958.
75. Joachim Lambek. On the calculus of syntactic types. In Roman Jakobson, editor, Structure of language and its mathematical aspects, pages 166-178. American Mathematical Society, Providence RI, 1961.
76. Joachim Lambek. Categorial and categorical grammars. In Oehrle et al. [91], pages 297-318.
77. Alain Lecomte. Proof nets and dependencies. In COLING-92, pages 394-401. Nantes, August 1992.
78. Alain Lecomte and Christian Retord. Pomset logic as an alternative categorial grammar. In Glyn V. Morrill and Richard T. Oehrle, editors, Formal Grammar, Proceedings of the Conference of the European Summer School in Logic, Language and Information, Barcelona, 1995. pages 181-196.
79. Alain Lecomte and Christian Retort. Words as modules: a lexicalised grammar in the framework of linear logic proof nets. In Carlos Martin-Vide, editor, International Conference on Mathematical Linguistics IL John Benjamins, Amsterdam, 1997.
80. Marie-Ange Légeret. Algébres de démonstrations en grammaires catdgorielles. ThEse de Doctorat, spécialité Math6matiques, Université Blaise Pascal, Clermont-Ferrand, janvier 1996.
81. Ralph Loader. Linear logic, totality and full completeness. In LICS'94, pages 292-298. IEEE computer society, Washington, 1994.
82. Per Martin-Léf. Intuitionistic Type Theory. Bibliopolis, Napoli, 1984. (Notes by Giovani Sambin of a series of lectures given in Padua, June 1980)
83. Alexandru Mateescu and Arto Salomaa. Formal Languages: an Introduction and a Synopsis, chapter 1, pages 1-40. Volume 1 of Rozenberg and Salomaa [104], 1996.
84. Philip Miller and Thérése Torris, editors. Formalismes syntaxiques pour le traitement automatique du iangage naturel. HermEs, Pads, 1990.
85. Michael Moortgat. Categoriallnvestigations. Logical and Linguistic Aspects of the Lambek Calculus. Foris, Dordrecht, 1988.
86. Michael Moortgat. La grammaire cat#gorielle gdn#ralis~e - le calcul de Lambek-Gentzen, chapter 3, pages 127-182. In Miller and Tords [84], 1990.
87. Michael Moortgat. Categorial type logics. In van Benthem and ter Meulen [19], pages 93-177.
88. Glyn V. Morrill. Type Logical Grammar. Kluwer, Dordrecht, 1994.
89. Georges Mounin. Histoire de la linguistique - des origines au XX ~ si~cle. Presses Univorsitaircs de France, Pads, 1967.
90. Reinhard Muskens. Meaning and Partiality. CSLI, 1996.
91. Richard T. Oehrle, Emmon Bach, and Deirde Wheeler, editors. Categorial Grammars and Natural Languages Structures. D. Reidel, Dordrecht, 1988.
92. Barbara Partee. Montague grammar and transformational grammar. Linguistic Inquiry, VI(2):203-300, 1975.
93. Matti Pentus. Lambek grammars are context free. In LICS'93, pages 371-373. IEEE computer society, Washington, 1993.
94. Fernando C. N. Pereira and Smart M. Shieber. Prolog andNatural Language Analysis, volume 10 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford CA, 1987. (distributed by Cambridge University Press)
95. Carl Pollard and Ivan A. Sag. Head-Driven Phrase Structure Grammars. Chicago University Press, 1994.
96. Jean-Yves Pollock. Langage et cognition - Une introduction au programme minimaliste de la grammaire g#n#rative. Presses Universitalres de France, Pads, 1997.
97. Aame Ranta. Type-Theoretical Grammar. Oxford University Press, 1994.
98. Hans Reichenbach. Elements of Symbolic Logic. The MacMillan Company, New York, 1948.
99. Christian Retoré. Réseaux et Sdquents Ordonnés. ThEse de Doctorat, sp6cialit~ Mathématiques, Universit6 Paris 7, février 1993.
100. Christian Retoré. Calcul de lambek et logique linéaire. Traitement Automatique des Langues, 37(2):39-70, 1996.
101. Christian Retoré. Pomset logic: a non-commutative extension of classical linear logic. In J. R. Hindley and Ph. de Groote, editors, TLCA '97, volume 1210 of LNCS, pages 300-319, 1997.
102. Robert H. Robins. A short history of linguistics. Longmans, Green, and Co., London, 1967.
103. Dirk Roorda. Resource logic: proof theoretical investigations. PhD thesis, FWI, Universiteit van Amsterdam, 1991.
104. Grzegorz Rozenbergand Arto Salomaa, editors. Handbook of Formal Languages. Springer, Heidelberg, 1996. (3 volumes)
105. Esa Saarinen, editor. Game-Theoretical Semantics: Essays on Semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen. D. Reidel, Dordrecht, 1979.
106. Peter Sells. An introduction to Government-Binding Theory, Generalised Phrase Structure Grammar, and Lexical-Functional Grammar, volume 3 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford CA, 1985. (distributed by Cambridge University Press)
107. Sebastian Shaumyan. Applicational grammar as a semantic theory of natural language. Edinburgh University Press, 1977.
108. Betty Shefts. GrammaticaIMethod in Pāini. American Oriental Society, New Haven CO, 1961.
109. Smart M. Shieber. Evidence against the context-freeness of natural language. Linguistics and Philosophy, 8:333-343, 1985.
110. Stuart M. Stfieber. An lntroduction to Unification-Based Approaches to Grammar, volume 4 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford CA, 1986. (distributed by Cambridge University Press)
111. Stuart M. Shieber. Les grammaires basdes sur l'unifuration, chapter 1, pages 27-86. In Miller and Torris [84], 1990.
112. Mark J. Steedman. Surface Structure and Interpretation. Center for the Study of Language and Information, Stanford CA, 1996. (distributed by Cambridge University Press)
113. Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge MA, 1977.
114. Anna Szabolcsi. Bound variables in syntax. In Proceedings of the 6th Amsterdam Colloquium, pages 331-351, Amsterdam, 1987. Institute for Language, Logic and Information.
115. Wolfgang Thomas. Languages, Automata andLogic, chapter 7, pages 389-456. Volume 3 of Rozenberg and Saiomaa [104], 1996.
116. Richmond H.Thomason, editor. FormalPhilosophy:SelectedPapersofRichardMontague. Yale University Press, New Haven CO, 1974.
117. Thèrèse Torris. La grammaire syntagmatique gdnéralisée, chapter 2, pages 87-126. In Miller and Torris [84], 1990.
118. Anne Sjerp Troelstra. Lectures on Linear Logic, volume 29 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford CA, 1992. (distributed by Cambridge University Press)
119. Rémi Zajac. Notes on the Typed Feature System, version 4. Technical report, Institut f/ir Informatik, Project Polygloss, Universit~it Stuttgart, 1991.
120. Wojciech Zielonka. Axiomatizability of Adjukiewicz-Lambek calculus by means of cancellation schemes. Zeitschrift fiir mathematische Logik und Grundlagen der Mathematik, 27:215-224, 1981.