Logical Aspects Of Computational Linguistics: Second International Conference, Lacl'97, Nancy, France, September 22-24, 1997, Selected Papers (lecture Notes In Computer Science)

This Book Constitutes The Thoroughly Refereed Post-proceedings Of The Second International Conference On Logical Aspects Of Computational Linguistics, Lacl '97, Held In Nancy, France In September 1997. The 10 Revised Full Papers Presented Were Carefully Selected During Two Rounds Of Reviewing. Also Included Are Two Comprehensive Invited Papers. Among The Topics Covered Are Type Theory, Various Types Of Grammars, Linear Logic, Parsing, Type-directed Natural Language Processing, Proof-theoretic Aspects, Concatenation Logics, And Mathematical Languages. Invited Papers -- Type Grammar Revisited -- Optimal Parameters -- Selected Papers -- Strong Equivalence Of Generalized Ajdukiewicz And Lambek Grammars -- Linguistic, Philosophical, And Pragmatic Aspects Of Type-directed Natural Language Parsing -- Derivational And Representational Views Of Minimalist Transformational Grammar -- The Mso Logic-automaton Connection In Linguistics -- The Logic Of Tune A Proof-theoretic Analysis Of Intonation -- A Linear Logic Treatment Of Phrase Structure Grammars For Unbounded Dependencies -- Underspecification In Type-logical Grammars -- On Fibring Feature Logics With Concatenation Logics -- An Operational Model For Parsing De.nite Clause Grammars With In.nite Terms -- Mathematical Vernacular And Conceptual Well-formedness In Mathematical Language. Alain Lecomte, François Lamarche, Guy Perrier (eds.) Includes Bibliographical References And Index. Type Grammar Revisited....Pages 1-27 Optimal Parameters....Pages 28-53 Strong Equivalence of Generalized Ajdukiewicz and Lambek Grammars....Pages 54-69 Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language Parsing....Pages 70-91 Derivational and Representational Views of Minimalist Transformational Grammar....Pages 92-111 The MSO Logic-Automaton Connection in Linguistics....Pages 112-131 The Logic of Tune A Proof-Theoretic Analysis of Intonation....Pages 132-159 A Linear Logic Treatment of Phrase Structure Grammars For Unbounded Dependencies....Pages 160-179 Underspecification in Type-Logical Grammars....Pages 180-199 On Fibring Feature Logics with Concatenation Logics....Pages 200-211 An Operational Model for Parsing De.nite Clause Grammars with In.nite Terms....Pages 212-230 Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language....Pages 231-250 Traditional dimensional analysis assigns to each quantity of classical mechanics a type, usually called dimension, LaTbMc, where a, b, and c are integers and L,T and M stand for length, time and mass respectively. Constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012