Logical Aspects of Computational Linguistics

1. Front Matter

   PDF

2. Regular Articles

   1. Building PMCFG Parsers as Datalog Program Transformations

      • Arthur Ball, Pierre Bourreau, Émeric Kien, Sylvain Salvati

      Pages 1-13

   2. Representing Anaphora with Dependent Types

      • Daisuke Bekki

      Pages 14-29

   3. An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents

      • Wojciech Buszkowski

      Pages 30-43

   4. Adverbs in a Modern Type Theory

      • Stergios Chatzikyriakidis

      Pages 44-56

   5. An Algebraic Approach to Multiple Context-Free Grammars

      • Alexander Clark, Ryo Yoshinaka

      Pages 57-69

   6. An ACG View on G-TAG and Its g-Derivation

      • Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla

      Pages 70-82

   7. On Harmonic CCG and Pregroup Grammars

      • Annie Foret

      Pages 83-95

   8. The Granularity of Meaning in Proof-Theoretic Semantics

      • Nissim Francez

      Pages 96-106

   9. Late Merge as Lowering Movement in Minimalist Grammars

      • Thomas Graf

      Pages 107-121

   10. Pseudogapping as Pseudo-VP Ellipsis

       • Yusuke Kubota, Robert Levine

       Pages 122-137

   11. Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories

       • Georgiana E. Lungu, Zhaohui Luo

       Pages 138-148

   12. Semantically Inactive Multiplicatives and Words as Types

       • Glyn Morrill, Oriol Valentín

       Pages 149-162

   13. Generalising Predicate and Argument Invariance

       • Richard Zuber

       Pages 163-176

3. Invited Speaker

   1. Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?

      • Zhaohui Luo

      Pages 177-188

4. Back Matter

   PDF

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014. On the broadly syntactic side, there are papers on the logical and computational foundations of context free grammars, pregroup grammars, on the Lambek calculus and on formalizations of aspects of minimalism. There is also a paper on Abstract Categorical Grammar, as well as papers on issues at the syntax/semantics interface. On the semantic side, the volume's papers address monotonicity reasoning and the semantics of adverbs in type theory, proof theoretical semantics and predicate and argument invariance.

• context-free languages
• lambda semantics
• lexical semantics
• natural language processing
• proof theory
• semantics
• transductions
• type theory

• IRIT, Toulouse, France

  Nicholas Asher, Sergei Soloviev

Policies and ethics