Logical Aspects of Computational Linguistics

1. Front Matter

   PDF

2. Logical Grammars, Logical Theories

   • Alexander Clark

   Pages 1-20

3. Ludics and Natural Language: First Approaches

   • Christophe Fouqueré, Myriam Quatrini

   Pages 21-44

4. The Non Cooperative Basis of Implicatures

   • Nicholas Asher

   Pages 45-57

5. Movement-Generalized Minimalist Grammars

   • Thomas Graf

   Pages 58-73

6. Toward the Formulation of Presupposition by Illative Combinatory Logic

   • Yuri Ishishita, Daisuke Bekki

   Pages 74-85

7. Abstract Automata and a Normal Form for Categorial Dependency Grammars

   • Boris Karlov

   Pages 86-102

8. Importing Montagovian Dynamics into Minimalism

   • Gregory M. Kobele

   Pages 103-118

9. CoTAGs and ACGs

   • Gregory M. Kobele, Jens Michaelis

   Pages 119-134

10. Gapping as Like-Category Coordination

    • Yusuke Kubota, Robert Levine

    Pages 135-150

11. L-Completeness of the Lambek Calculus with the Reversal Operation

    • Stepan Kuznetsov

    Pages 151-160

12. Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free

    • Zhe Lin

    Pages 161-172

13. Common Nouns as Types

    • Zhaohui Luo

    Pages 173-185

14. Extractability as the Deduction Theorem in Subdirectional Combinatory Logic

    • Hiroko Ozaki, Daisuke Bekki

    Pages 186-200

15. Agnostic Possible Worlds Semantics

    • Andrew Plummer, Carl Pollard

    Pages 201-212

16. Abstract Machines for Argumentation

    • Kurt Ranalter

    Pages 213-228

17. On the Completeness of Lambek Calculus with Respect to Cofinite Language Models

    • Alexey Sorokin

    Pages 229-233

18. Dot-types and Their Implementation

    • Tao Xue, Zhaohui Luo

    Pages 234-249

19. Back Matter

    PDF

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012. The 15 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 24 submissions. The papers are organized in topical sections on logical foundation of syntactic formalisms, logics for semantics of lexical items, sentences, discourse and dialog, applications of these models to natural language processing, type theoretic, proof theoretic, model theoretic and other logically based formal methods for describing natural language syntax, semantics and pragmatics, as well as the implementation of natural language processing software relying on such methods.

• lambda grammar
• push-down automata
• semantics
• transductions
• type theory

• LINA UMR 6241, Université de Nantes, Nantes Cedex 3, France

  Denis Béchet, Alexander Dikovsky

Policies and ethics