{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:20:47Z","timestamp":1742952047695,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":120,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637004"},{"type":"electronic","value":"9783540696315"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0052148","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T04:43:12Z","timestamp":1149655392000},"page":"1-20","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Logical aspects of computational linguistics: An introduction"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Blackburn","sequence":"first","affiliation":[]},{"given":"Marc","family":"Dymetman","sequence":"additional","affiliation":[]},{"given":"Alain","family":"Lecomte","sequence":"additional","affiliation":[]},{"given":"Aarne","family":"Ranta","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Retor\u00e9","sequence":"additional","affiliation":[]},{"given":"Eric Villemonte","family":"de la Clergerie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,16]]},"reference":[{"key":"1_CR1","volume-title":"Les nouvelles syntaxes","author":"A. Abeill\u00e9","year":"1993","unstructured":"Anne Abeill\u00e9. Les nouvelles syntaxes. Armand Colin, Paris, 1993."},{"issue":"4","key":"1_CR2","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.2307\/2275485","volume":"56","author":"V. Michele","year":"1991","unstructured":"V. Michele Abrusci. Phase semantics and sequent calculus for pure non-commutative classical linear logic. Journal of Symbolic Logic, 56(4):1403\u20131451, December 1991.","journal-title":"Journal of Symbolic Logic"},{"key":"1_CR3","volume-title":"Linear Logic and Lambek Calculus","author":"V. Michele","year":"1993","unstructured":"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."},{"key":"1_CR4","volume-title":"Technical report","author":"V. M. Abrusci","year":"1997","unstructured":"V. Michele Abrusci. Coherence semantics for non-commutative linear logic and ambiguity in natural language. Technical report, Universit\u00e0 di Roma tre, 1997. Talk at the ATALA meeting, Paris, December 94."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"V. Michele Abrusci. Non-commutative proof nets. In Girard et al. [55], pages 271\u2013296.","DOI":"10.1017\/CBO9780511629150.014"},{"key":"1_CR6","unstructured":"V. Michele Abrusci. Syntactical categories of a natural language as facts of a cyclic phase space. Technical report, Universita di Roma tre, 1997."},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/BF00360804","volume":"4","author":"A. E. Ades","year":"1982","unstructured":"Anthony E. Ades and Mark J. Steedman. On the order of words. Linguistics and Philosophy, 4:517\u2013558,1982.","journal-title":"Linguistics and Philosophy"},{"key":"1_CR8","first-page":"1","volume":"1","author":"K. Adjuckiewicz","year":"1935","unstructured":"Kasimierz Adjuckiewicz. Die syntaktische konnexit\u00e4t. Studia Philosophica, 1:1\u201327, 1935.","journal-title":"Studia Philosophica"},{"key":"1_CR9","first-page":"1","volume-title":"Varieties of Formal Semantics","author":"E. Bach","year":"1984","unstructured":"Emmon Bach. Some generalizations of categorial grammars. In Fred Landman and Frank Veltman, editors, Varieties of Formal Semantics, pages 1\u201323. Foris, Dordrecht, 1984."},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"47","DOI":"10.2307\/410452","volume":"29","author":"B. Yehoshua","year":"1953","unstructured":"Yehoshua Bar-Hillel. A quasi-arithmetical notation for syntactic description. Language, 29:47\u201358, 1953.","journal-title":"Language"},{"key":"1_CR11","volume-title":"Language and information","author":"B. Yehoshua","year":"1964","unstructured":"Yehoshua Bar-Hillel. Language and information. Addison Wesley, Reading MA, 1964."},{"key":"1_CR12","volume-title":"Technical Report RT-203","author":"B. Barras","year":"1997","unstructured":"Bruno Barras, Samuel Boutin, Cristina Cornes, Judicael Courant, Jean-Christophe Filliatre, Eduardo Gimenez, Hugo Herbelin, Gerard Huet, Cesar Munoz, Chetan Murthy, Catherine Parent, Christine Paulin-Mohring, Amokrane Saibi, Benjamin Werner The Coq Proof Assistant Reference Manual: Version 6.1 Technical Report RT-203, INRIA, Rocquencourt, May 1997."},{"key":"1_CR13","unstructured":"Guy Barry and Glyn V. Morrill, editors. Studies in Categorial Grammar. Edinburgh Working Papers in Cognitive Science, Edinburgh, 1990."},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00350139","volume":"4","author":"J. Barwise","year":"1981","unstructured":"Jon Barwise and Robin Cooper. Generalised quantifiers and natural language. Linguistics and Philosophy, 4:159\u2013219, 1981.","journal-title":"Linguistics and Philosophy"},{"key":"1_CR15","volume-title":"Situations and Attitudes","author":"J. Barwise","year":"1983","unstructured":"Jon Barwise and John Perry. Situations and Attitudes. MIT Press, Cambridge MA, 1983."},{"key":"1_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-4540-1","volume-title":"Essays in logical semantics","author":"J. van Benthem","year":"1986","unstructured":"Johan van Benthem. Essays in logical semantics. D. Reidel, Dordrecht, 1986."},{"key":"1_CR17","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-94-015-6878-4_3","volume-title":"Categorial Grammars and Natural Languages Structures","author":"J. van Benthem","year":"1988","unstructured":"Johan van Benthem. The lambek calculus. In Oehrle et al. [91], pages 35\u201368."},{"key":"1_CR18","volume-title":"Number 130 of Sudies in Logic and the foundation of mathematics","author":"J. van Benthem","year":"1991","unstructured":"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."},{"volume-title":"Handbook of Logic and Language","year":"1997","key":"1_CR19","unstructured":"Johan van Benthem and Alice ter Meulen, editors. Handbook of Logic and Language. North-Holland, Amsterdam, 1997."},{"key":"1_CR20","series-title":"Volume 1092 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/3-540-61377-3_33","volume-title":"Computer Science Logic '95","author":"P. Blackburn","year":"1996","unstructured":"Patrick Blackburn, Wilfried Meyer-Viol, and Maarten de Rijke. A proof system for finite trees. In Hans Kleine B\u00fcning, editor, Computer Science Logic '95, Volume 1092 of Lecture Notes in Computer Science, pages 86\u2013105. Springer, Heidelberg, 1996."},{"volume-title":"The mental representation of grammatical relations","year":"1982","key":"1_CR21","unstructured":"Joan Bresnan, editor. The mental representation of grammatical relations. MIT Press, Cambridge MA, 1982."},{"key":"1_CR22","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1002\/malq.19860320104","volume":"32","author":"W. Buszkowski","year":"1986","unstructured":"Wojciech Buszkowski. Completeness results for lambek syntactic calculus. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik, 32:13\u201328, 1986.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"1_CR23","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-94-015-6878-4_4","volume-title":"Categorial Grammars and Natural Languages Structures","author":"W. Buszkowski","year":"1988","unstructured":"Wojciech Buszkowski. Generative power of categorial grammar. In Oehrle et al. [91], pages 69\u201394."},{"key":"1_CR24","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1016\/B978-044481714-3\/50016-3","volume-title":"Handbook of Logic and Language","author":"W. Buszkowski","year":"1997","unstructured":"Wojciech Buszkowski. Mathematical linguistics and proof theory. In van Benthem and ter Meulen [19], pages 683\u2013736."},{"key":"1_CR25","unstructured":"Rudolf Carnap. Meaning and Necessity: A Study in Semantics and Modal Logic. University of Chicago Press, 1946."},{"key":"1_CR26","unstructured":"Bob Carpenter. ALE: The Attribute Logic Engine user's guide. Technical report, Carnegie Mellon University, Laboratory for Computational Linguistics, 1992."},{"key":"1_CR27","volume-title":"Lectures on Type-Logical Semantics","author":"B. Carpenter","year":"1996","unstructured":"Bob Carpenter. Lectures on Type-Logical Semantics. MIT Press, Cambridge MA, 1996."},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1017\/CBO9780511530098"},{"key":"1_CR29","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-94-015-6878-4_5","volume-title":"Categorial Grammars and Natural Languages Structures","author":"C. Casadio","year":"1988","unstructured":"Claudia Casadio. Semantic categories and the development of categorial grammars. In Oehrle et al. [91], pages 95\u2013124."},{"key":"1_CR30","volume-title":"The logical structure of linguistic theory","author":"N. Chomsky","year":"1955","unstructured":"Noam Chomsky. The logical structure of linguistic theory. Plenum, New York, 1955."},{"issue":"3","key":"1_CR31","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1109\/TIT.1956.1056813","volume":"2","author":"N. Chomsky","year":"1956","unstructured":"Noam Chomsky. Three models for the description of language. IRE Transactions on Information Theory, 2(3): 113\u2013124, 1956.","journal-title":"IRE Transactions on Information Theory"},{"key":"1_CR32","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0019-9958(59)90362-6","volume":"2","author":"N. Chomsky","year":"1959","unstructured":"Noam Chomsky. On certain formal properties of grammars. Information and control, 2:137\u2013167, 1959.","journal-title":"Information and control"},{"key":"1_CR33","first-page":"323","volume-title":"Handbook of Mathematical Psychology, volume 2","author":"N. Chomsky","year":"1963","unstructured":"Noam Chomsky. Formal properties of grammars. In Handbook of Mathematical Psychology, volume 2, pages 323\u2013418. John Wiley and sons, New York, 1963."},{"key":"1_CR34","volume-title":"Aspects of the Theory of Syntax","author":"N. Chomsky","year":"1965","unstructured":"Noam Chomsky. Aspects of the Theory of Syntax. MIT Press, Cambridge MA, 1965."},{"key":"1_CR35","volume-title":"Cartesian Linguistics","author":"N. Chomsky","year":"1966","unstructured":"Noam Chomsky. Cartesian Linguistics. MIT Press, Cambridge MA, 1966."},{"key":"1_CR36","volume-title":"Reflections on language","author":"N. Chomsky","year":"1975","unstructured":"Noam Chomsky. Reflections on language. Pantheon, New York, 1975."},{"key":"1_CR37","volume-title":"Some concepts and consequences of the theory of government and binding","author":"N. Chomsky","year":"1982","unstructured":"Noam Chomsky. Some concepts and consequences of the theory of government and binding. MIT Press, Cambridge MA, 1982."},{"key":"1_CR38","volume-title":"Barriers","author":"N. Chomsky","year":"1987","unstructured":"Noam Chomsky. Barriers. MIT Press, Cambridge MA, 1987."},{"key":"1_CR39","volume-title":"The Minimalist Program","author":"N. Chomsky","year":"1996","unstructured":"Noam Chomsky. The Minimalist Program. MIT Press, Cambridge MA, 1996."},{"key":"1_CR40","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1016\/S0049-237X(08)72023-8","volume-title":"Computer programming and formal systems","author":"N. Chomsky","year":"1963","unstructured":"Noam Chomsky and Marcel-Paul Sch\u00fctzenberger. The algebraic theory of context-free languages. In P. Bradford and D. Hirschberg, editors, Computer programming and formal systems, pages 118\u2013161. North-Holland, Amsterdam, 1963."},{"key":"1_CR41","volume-title":"Structure, Method and Meaning: Essays in honor of Henry M. Sheffer","author":"A. Church","year":"1951","unstructured":"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."},{"issue":"1","key":"1_CR42","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/35043.35045","volume":"31","author":"J. Cohen","year":"1988","unstructured":"Jacques Cohen. A view of the origins and development of Prolog. Communications of the ACM, 31(1):26\u201337, January 1988.","journal-title":"Communications of the ACM"},{"key":"1_CR43","volume-title":"Langages applicatifs, langues naturelles et cognition","author":"J. Descl\u00e9s","year":"1990","unstructured":"Jean-Pierre Descl\u00e9s. Langages applicatifs, langues naturelles et cognition. Herm\u00e8s, Paris, 1990."},{"key":"1_CR44","unstructured":"Michael Dorna. The Comprehensive Unification Formalism user's manual. Technical report, Institut f\u00fcr maschinelle Sprach Verarbeitung, Universit\u00e4t Stuttgart, 1994."},{"key":"1_CR45","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-9473-7","volume-title":"Word Meaning and Montague Grammar","author":"D. Dowty","year":"1979","unstructured":"David Dowty. Word Meaning and Montague Grammar. D. Reidel, Dordrecht, 1979."},{"key":"1_CR46","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-94-015-6878-4_7","volume-title":"Categorial Grammars and Natural Languages Structures","author":"D. Dowty","year":"1988","unstructured":"David Dowty. Type-raising, functional composition, and non-constituent coordination. In Oehrle et al. [91], pages 153\u2013198."},{"key":"1_CR47","unstructured":"Martin Emms. Extraction covering of the Lambek calculus are not context free. In 9th Amsterdam Colloquium, pages 268\u2013286, 1993."},{"key":"1_CR48","doi-asserted-by":"crossref","unstructured":"Martin Emms. Parsing with polymorphism, In 6th Annual Conference of the European Chapter of the Association for Computational Linguistics, 1993.","DOI":"10.3115\/976744.976760"},{"key":"1_CR49","unstructured":"Martin Emms. Undecidability result for polymorphic Lambek calculus. In 10th Amsterdam Colloquium, 1995."},{"key":"1_CR50","volume-title":"Begriffsschrift. Louis Nerbert, Halle A\/S, 1879","author":"G. Frege","year":"1967","unstructured":"Gottlob Frege. Begriffsschrift. Louis Nerbert, Halle A\/S, 1879. English translation in: \u201cFrom Frege to G\u00f6del\u201d, edited by van Heijenoort, Harvard University Press, Cambridge MA, 1967."},{"key":"1_CR51","volume-title":"Generalized Phrase Structure Grammar","author":"G. Gazdar","year":"1985","unstructured":"Gerald Gazdar, Ewan Klein, Geoffrey Pullum, and Ivan Sag. Generalized Phrase Structure Grammar. Harvard University Press, Cambridge MA, 1985."},{"key":"1_CR52","first-page":"1","volume-title":"Handbook of Formal Languages","author":"F. G\u00e9cseg","year":"1996","unstructured":"Ferenc G\u00e9cseg and Magnus Steinby. Tree Languages, chapter 1, pages 1\u201368. Volume 3 of Rozenberg and Salomaa [104], 1996."},{"issue":"1","key":"1_CR53","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Girard","year":"1987","unstructured":"Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50(1):1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"1_CR54","doi-asserted-by":"crossref","unstructured":"Jean-Yves Girard. Linear logic: its syntax and semantics. In Girard et al. [55], pages 1\u201342.","DOI":"10.1017\/CBO9780511629150.002"},{"key":"1_CR55","unstructured":"Jean-Yves Girard, Yves Lafont, and Laurent Regnier, editors. Advances in Linear Logic, Volume 222 of London Mathematical Society Lecture Notes. Cambridge University Press, 1995."},{"key":"1_CR56","unstructured":"Jean-Yves Girard, Yves Lafont, and Paul Taylor. Proofs and Types. Number 7 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988."},{"key":"1_CR57","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V. Goranko","year":"1992","unstructured":"Valentin Goranko and Solomon Passy. Using the universal modality: Gains and questions. Journal of Logic and Computation, 2:5\u201330, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"1_CR58","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J. Groenendijk","year":"1991","unstructured":"Jeroen Groenendijk and Martin Stokhof. Dynamic predicate logic. Linguistics and Philosophy, 14:39\u2013100, 1991.","journal-title":"Linguistics and Philosophy"},{"key":"1_CR59","unstructured":"Philippe de Groote and Christian Retor\u00e9. 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\u201370."},{"key":"1_CR60","volume-title":"PhD thesis","author":"I. Heim","year":"1982","unstructured":"Irene Heim. The Semantics of Definite and Indefinite Noun Phrases. PhD thesis, University of Massachusetts, Amherst, 1982."},{"key":"1_CR61","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. van Hentenryck","year":"1989","unstructured":"Pascal van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge MA, 1989."},{"key":"1_CR62","volume-title":"PhD thesis","author":"M. Hepple","year":"1990","unstructured":"Mark Hepple. The Grammar and Processing of Order and Dependency, a categorial approach. PhD thesis, Centre of Cognitive Sciences, Edinburgh, 1990."},{"key":"1_CR63","volume-title":"Number 16 in CSLI Lecture Notes","author":"M. Johnson","year":"1989","unstructured":"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)"},{"key":"1_CR64","volume-title":"Technical report","author":"M. Johnson","year":"1997","unstructured":"Mark Johnson. Proof nets and the complexity of processing center-embedded constructions. Technical report, Brown University, Providence RI, 1997."},{"key":"1_CR65","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/S0022-0000(75)80019-5","volume":"10","author":"A. K. Joshi","year":"1975","unstructured":"Aravind K. Joshi, Leon Levy, and Masako Takahashi. Tree adjunct grammar. Journal of Computer and System Sciences, 10:136\u2013163, 1975.","journal-title":"Journal of Computer and System Sciences"},{"key":"1_CR66","doi-asserted-by":"crossref","unstructured":"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\u2013250. Cambridge University Press, 1988.","DOI":"10.1017\/CBO9780511597855.007"},{"key":"1_CR67","first-page":"69","volume-title":"Handbook of Formal Languages","author":"A. K. Joshi","year":"1996","unstructured":"Aravind K. Joshi and Yves Schabes. Tree-Adjoining Grammars, chapter 2, pages 69\u2013124. Volume 3 of Rozenberg and Salomaa [104], 1996."},{"key":"1_CR68","volume-title":"Proceedings of the Third Amsterdam Colloquium","author":"H. Kamp","year":"1981","unstructured":"Hans Kamp. A theory of truth and semantic representation. In Janssen, Groenendijk and Stokhof, editors, Proceedings of the Third Amsterdam Colloquium, Foris, Dordrecht, 1981."},{"key":"1_CR69","volume-title":"From Discourse to Logic","author":"H. Kamp","year":"1993","unstructured":"Hans Kamp and Uwe Reyle. From Discourse to Logic. Kluwer, Dordrecht, 1993."},{"key":"1_CR70","first-page":"173","volume-title":"The mental representation of grammatical relations","author":"R. Kaplan","year":"1982","unstructured":"Ronald Kaplan and Joan Bresnan. Lexical functional grammar: a formal system for grammatical representation, chapter 4, pages 173\u2013281. In Bresnan [21], 1982."},{"key":"1_CR71","volume-title":"volume 44 of CSLI Lecture Notes","author":"B. Keller","year":"1989","unstructured":"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)"},{"key":"1_CR72","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959","unstructured":"Saul Kripke. A completeness theorem in modal logic. Journal of Symbolic Logic, 24:1\u201314, 1959.","journal-title":"Journal of Symbolic Logic"},{"key":"1_CR73","first-page":"241","volume-title":"Proof nets for the Lambek calculus \u2014 an overview","author":"F. Lamarche","year":"1996","unstructured":"Fran\u00e7ois Lamarche and Christian Retor\u00e9 Proof nets for the Lambek calculus \u2014 an overview. In Abrusci and Casadio, editors, Proofs and linguistic categories, proceedings of 1996 Roma Workshop, pages 241\u2013262. CLUEB, Bologna, 1996."},{"key":"1_CR74","doi-asserted-by":"crossref","unstructured":"Joachim Lambek. The mathematics of sentence structure. American mathematical monthly, pages 154\u2013170, 1958.","DOI":"10.1080\/00029890.1958.11989160"},{"key":"1_CR75","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1090\/psapm\/012\/9972","volume-title":"Structure of language and its mathematical aspects","author":"J. Lambek","year":"1961","unstructured":"Joachim Lambek. On the calculus of syntactic types. In Roman Jakobson, editor, Structure of language and its mathematical aspects, pages 166\u2013178. American Mathematical Society, Providence RI, 1961."},{"key":"1_CR76","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-94-015-6878-4_11","volume-title":"Categorial Grammars and Natural Languages Structures","author":"J. Lambek","year":"1988","unstructured":"Joachim Lambek. Categorial and categorical grammars. In Oehrle et al. [91], pages 297\u2013318."},{"key":"1_CR77","doi-asserted-by":"crossref","unstructured":"Alain Lecomte. Proof nets and dependencies. In COLING-92, pages 394\u2013401. Nantes, August 1992.","DOI":"10.3115\/992066.992130"},{"key":"1_CR78","unstructured":"Alain Lecomte and Christian Retor\u00e9. 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\u2013196."},{"key":"1_CR79","volume-title":"International Conference on Mathematical Linguistics II","author":"A. Lecomte","year":"1997","unstructured":"Alain Lecomte and Christian Retor\u00e9. Words as modules: a lexicalised grammar in the framework of linear logic proof nets. In Carlos Martin-Vide, editor, International Conference on Mathematical Linguistics II. John Benjamins, Amsterdam, 1997."},{"key":"1_CR80","volume-title":"Th\u00e8se de Doctorat, sp\u00e9cialit\u00e9 Math\u00e9matiques","author":"M. L\u00e9geret","year":"1996","unstructured":"Marie-Ange L\u00e9geret. Alg\u00e8bres de d\u00e9monstrations en grammaires cat\u00e9gorielles. Th\u00e8se de Doctorat, sp\u00e9cialit\u00e9 Math\u00e9matiques, Universit\u00e9 Blaise Pascal, Clermont-Ferrand, janvier 1996."},{"key":"1_CR81","first-page":"292","volume-title":"LICS'94","author":"R. Loader","year":"1994","unstructured":"Ralph Loader. Linear logic, totality and full completeness. In LICS'94, pages 292\u2013298. IEEE computer society, Washington, 1994."},{"key":"1_CR82","unstructured":"Per Martin-L\u00f6f. Intuitionistic Type Theory. Bibliopolis, Napoli, 1984. (Notes by Giovani Sambin of a series of lectures given in Padua, June 1980)"},{"key":"1_CR83","first-page":"1","volume-title":"Handbook of Formal Languages","author":"A. Mateescu","year":"1996","unstructured":"Alexandra Mateescu and Arto Salomaa. Formal Languages: an Introduction and a Synopsis, chapter 1, pages 1\u201340. Volume 1 of Rozenberg and Salomaa [104], 1996."},{"volume-title":"Formalismes syntaxiques pour le traitement automatique du langage naturel","year":"1990","key":"1_CR84","unstructured":"Philip Miller and Th\u00e9r\u00e8se Torris, editors. Formalismes syntaxiques pour le traitement automatique du langage naturel. Herm\u00e8s, Paris, 1990."},{"key":"1_CR85","doi-asserted-by":"crossref","DOI":"10.1515\/9783112329580","volume-title":"Categorial Investigations. Logical and Linguistic Aspects of the Lambek Calculus","author":"M. Moortgat","year":"1988","unstructured":"Michael Moortgat. Categorial Investigations. Logical and Linguistic Aspects of the Lambek Calculus. Foris, Dordrecht, 1988."},{"key":"1_CR86","first-page":"127","volume-title":"Formalismes syntaxiques pour le traitement automatique du langage naturel","author":"M. Moortgat","year":"1990","unstructured":"Michael Moortgat. La grammaire cat\u00e9gorielle g\u00e9n\u00e9ralis\u00e9e \u2014 le calcul de Lambek-Gentzen, chapter 3, pages 127\u2013182. In Miller and Torris [84], 1990."},{"key":"1_CR87","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/B978-044481714-3\/50005-9","volume-title":"Handbook of Logic and Language","author":"M. Moortgat","year":"1997","unstructured":"Michael Moortgat. Categorial type logics. In van Benthem and ter Meulen [19], pages 93\u2013177."},{"key":"1_CR88","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-1042-6","volume-title":"Type Logical Grammar","author":"G. V. Morrill","year":"1994","unstructured":"Glyn V. Morrill. Type Logical Grammar. Kluwer, Dordrecht, 1994."},{"key":"1_CR89","volume-title":"Histoire de la linguistique \u2014 des origines au XXe si\u00e8cle","author":"G. Mounin","year":"1967","unstructured":"Georges Mounin. Histoire de la linguistique \u2014 des origines au XXe si\u00e8cle. Presses Universitaires de France, Paris, 1967."},{"key":"1_CR90","unstructured":"Reinhard Muskens. Meaning and Partiality. CSLI, 1996."},{"volume-title":"Categorial Grammars and Natural Languages Structures","year":"1988","key":"1_CR91","unstructured":"Richard T. Oehrle, Emmon Bach, and Deirde Wheeler, editors. Categorial Grammars and Natural Languages Structures. D. Reidel, Dordrecht, 1988."},{"issue":"2","key":"1_CR92","first-page":"203","volume":"VI","author":"B. Partee","year":"1975","unstructured":"Barbara Partee. Montague grammar and transformational grammar. Linguistic Inquiry, VI(2)::203\u2013300, 1975.","journal-title":"Linguistic Inquiry"},{"key":"1_CR93","first-page":"371","volume-title":"LICS'93","author":"M. Pentus","year":"1993","unstructured":"Matti Pentus. Lambek grammars are context free. In LICS'93, pages 371\u2013373. IEEE computer society, Washington, 1993."},{"key":"1_CR94","volume-title":"volume 10 of CSLI Lecture Notes","author":"F. C. N. Pereira","year":"1987","unstructured":"Fernando C. N. Pereira and Stuart M. Shieber. Prolog and Natural Language Analysis, volume 10 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford CA, 1987. (distributed by Cambridge University Press)"},{"key":"1_CR95","unstructured":"Carl Pollard and Ivan A. Sag. Head-Driven Phrase Structure Grammars. Chicago University Press, 1994."},{"key":"1_CR96","volume-title":"Langage et cognition \u2014 Une introduction au programme minimaliste de la grammaire g\u00e9n\u00e9rative","author":"J. Pollock","year":"1997","unstructured":"Jean-Yves Pollock. Langage et cognition \u2014 Une introduction au programme minimaliste de la grammaire g\u00e9n\u00e9rative. Presses Universitaires de France, Paris, 1997."},{"key":"1_CR97","doi-asserted-by":"crossref","unstructured":"Aarne Ranta. Type-Theoretical Grammar. Oxford University Press, 1994.","DOI":"10.1093\/oso\/9780198538578.001.0001"},{"key":"1_CR98","volume-title":"Elements of Symbolic Logic","author":"H. Reichenbach","year":"1948","unstructured":"Hans Reichenbach. Elements of Symbolic Logic. The MacMillan Company, New York, 1948."},{"key":"1_CR99","unstructured":"Christian Retor\u00e9. R\u00e9seaux et S\u00e9quents Ordonn\u00e9s. Th\u00e8se de Doctorat, sp\u00e9cialit\u00e9 Math\u00e9matiques, Universit\u00e9 Paris 7, f\u00e9vrier 1993."},{"issue":"2","key":"1_CR100","first-page":"39","volume":"37","author":"C. Retor\u00e9","year":"1996","unstructured":"Christian Retor\u00e9. Calcul de lambek et logique lin\u00e9aire. Traitement Automatique des Langues, 37(2):39\u201370, 1996.","journal-title":"Traitement Automatique des Langues"},{"key":"1_CR101","doi-asserted-by":"crossref","unstructured":"Christian Retor\u00e9. 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\u2013319, 1997.","DOI":"10.1007\/3-540-62688-3_43"},{"key":"1_CR102","volume-title":"A short history of linguistics","author":"R. H. Robins","year":"1967","unstructured":"Robert H. Robins. A short history of linguistics. Longmans, Green, and Co., London, 1967."},{"key":"1_CR103","unstructured":"Dirk Roorda. Resource logic: proof theoretical investigations. PhD thesis, FWI, Universiteit van Amsterdam, 1991."},{"volume-title":"Handbook of Formal Languages","year":"1996","key":"1_CR104","unstructured":"Grzegorz Rozenberg and Arto Salomaa, editors. Handbook of Formal Languages. Springer, Heidelberg, 1996. (3 volumes)"},{"volume-title":"Game-Theoretical Semantics: Essays on Semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen","year":"1979","key":"1_CR105","unstructured":"Esa Saarinen, editor. Game-Theoretical Semantics: Essays on Semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen. D. Reidel, Dordrecht, 1979."},{"key":"1_CR106","volume-title":"volume 3 of CSLI Lecture Notes","author":"P. Sells","year":"1985","unstructured":"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)"},{"key":"1_CR107","unstructured":"Sebastian Shaumyan. Applicational grammar as a semantic theory of natural language. Edinburgh University Press, 1977."},{"key":"1_CR108","volume-title":"Grammatical Method in P\u0101nini","author":"B. Shefts","year":"1961","unstructured":"Betty Shefts. Grammatical Method in P\u0101nini. American Oriental Society, New Haven CO, 1961."},{"key":"1_CR109","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/BF00630917","volume":"8","author":"S. M. Shieber","year":"1985","unstructured":"Stuart M. Shieber. Evidence against the context-freeness of natural language. Linguistics and Philosophy, 8:333\u2013343, 1985.","journal-title":"Linguistics and Philosophy"},{"key":"1_CR110","volume-title":"volume 4 of CSLI Lecture Notes","author":"S. M. Shieber","year":"1986","unstructured":"Stuart M. Shieber. An Introduction 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)"},{"key":"1_CR111","first-page":"27","volume-title":"Formalismes syntaxiques pour le traitement automatique du langage naturel","author":"S. M. Shieber","year":"1990","unstructured":"Stuart M. Shieber. Les grammaires bas\u00e9es sur l'unification, chapter 1, pages 27\u201386. In Miller and Torris [84], 1990."},{"key":"1_CR112","volume-title":"Surface Structure and Interpretation","author":"M. J. Steedman","year":"1996","unstructured":"Mark J. Steedman. Surface Structure and Interpretation. Center for the Study of Language and Information, Stanford CA, 1996. (distributed by Cambridge University Press)"},{"key":"1_CR113","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J. E. Stoy","year":"1977","unstructured":"Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge MA, 1977."},{"key":"1_CR114","first-page":"331","volume-title":"Bound variables in syntax","author":"A. Szabolcsi","year":"1987","unstructured":"Anna Szabolcsi. Bound variables in syntax. In Proceedings of the 6th Amsterdam Colloquium, pages 331\u2013351, Amsterdam, 1987. Institute for Language, Logic and Information."},{"key":"1_CR115","first-page":"389","volume-title":"Formalismes syntaxiques pour le traitement automatique du langage naturel","author":"W. Thomas","year":"1996","unstructured":"Wolfgang Thomas. Languages, Automata and Logic, chapter 7, pages 389\u2013456. Volume 3 of Rozenberg and Salomaa [104], 1996."},{"volume-title":"Formal Philosophy: Selected Papers of Richard Montague","year":"1974","key":"1_CR116","unstructured":"Richmond H. Thomason, editor. Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven CO, 1974."},{"key":"1_CR117","first-page":"87","volume-title":"Formalismes syntaxiques pour le traitement automatique du langage naturel","author":"T. Torris","year":"1990","unstructured":"Th\u00e9r\u00e8se Torris. La grammaire syntagmatique g\u00e9n\u00e9ralis\u00e9e, chapter 2, pages 87\u2013126. In Miller and Torris [84], 1990."},{"key":"1_CR118","volume-title":"volume 29 of CSLI Lecture Notes","author":"A. S. Troelstra","year":"1992","unstructured":"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)"},{"key":"1_CR119","unstructured":"R\u00e9mi Zajac. Notes on the Typed Feature System, version 4. Technical report, Institut f\u00fcr Informatik, Project Polygloss, Universit\u00e4t Stuttgart, 1991."},{"key":"1_CR120","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1002\/malq.19810271306","volume":"27","author":"W. Zielonka","year":"1981","unstructured":"Wojciech Zielonka. Axiomatizability of Adjukiewicz-Lambek calculus by means of cancellation schemes. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik, 27:215\u2013224, 1981.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052148","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T18:29:24Z","timestamp":1707071364000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0052148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637004","9783540696315"],"references-count":120,"URL":"https:\/\/doi.org\/10.1007\/bfb0052148","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"16 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}