Formal Grammar

1. Front Matter

   PDF

2. Formal Grammar 2012

   1. On IO-Copying and Mildly-Context Sensitive Formalisms

      • Pierre Bourreau, Laura Kallmeyer, Sylvain Salvati

      Pages 1-16

   2. The Distribution and Interpretation of Hausa Subjunctives: An HPSG Approach

      • Berthold Crysmann

      Pages 17-31

   3. Memory Resource Allocation in Top-Down Minimalist Parsing

      • Gregory M. Kobele, Sabrina Gerth, John Hale

      Pages 32-51

   4. Parsing Pregroup Grammars with Letter Promotions in Polynomial Time

      • Katarzyna Moroz

      Pages 52-68

   5. Towards an HPSG Analysis of Object Shift in Danish

      • Stefan Müller, Bjarne Ørsnes

      Pages 69-89

   6. Cognitive and Sub-regular Complexity

      • James Rogers, Jeffrey Heinz, Margaret Fero, Jeremy Hurst, Dakotah Lambert, Sean Wibel

      Pages 90-108

   7. Is Malay Grammar Uniform? A Constraint-Based Analysis

      • Sharifah Raihan Syed Jaafar

      Pages 109-125

   8. Completeness of Full Lambek Calculus for Syntactic Concept Lattices

      • Christian Wurm

      Pages 126-141

3. Formal Grammar 2013

   1. On the Expressivity of Optimality Theory versus Ordered Rewrite Rules

      • Brian Buccola

      Pages 142-158

   2. Adjectives in a Modern Type-Theoretical Setting

      • Stergios Chatzikyriakidis, Zhaohui Luo

      Pages 159-174

   3. Tree Wrapping for Role and Reference Grammar

      • Laura Kallmeyer, Rainer Osswald, Robert D. Van Valin Jr.

      Pages 175-190

   4. The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars

      • Makoto Kanazawa, Sylvain Salvati

      Pages 191-208

   5. On the Complexity of Free Word Orders

      • Jérôme Kirman, Sylvain Salvati

      Pages 209-224

   6. Determiner Gapping as Higher-Order Discontinuous Constituency

      • Yusuke Kubota, Robert Levine

      Pages 225-241

   7. Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives

      • Stepan Kuznetsov

      Pages 242-249

   8. On the Generative Power of Discontinuous Lambek Calculus

      • Alexey Sorokin

      Pages 250-262

   9. A Count Invariant for Lambek Calculus with Additives and Bracket Modalities

      • Oriol Valentín, Daniel Serret, Glyn Morrill

      Pages 263-276

   10. Some Higher Order Functions on Binary Relations

       • R. Zuber

       Pages 277-291

4. Back Matter

   PDF

This book constitutes the refereed proceedings of the 17th and 18th International Conference on Formal Grammar 2012 and 2013, collocated with the European Summer School in Logic, Language and Information in August 2012/2013. The 18 revised full papers were carefully reviewed and selected from a total of 27 submissions. The focus of papers are as follows: formal and computational phonology, morphology, syntax, semantics and pragmatics; model-theoretic and proof-theoretic methods in linguistics; logical aspects of linguistic structure; constraint-based and resource-sensitive approaches to grammar; learnability of formal grammar; integration of stochastic and symbolic models of grammar; foundational, methodological and architectural issues in grammar and linguistics, and mathematical foundations of statistical approaches to linguistic analysis.

• Lambek calculus
• constraint-based grammar
• generative capacity
• parsing
• type grammars

• Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Barcelona, Spain

  Glyn Morrill

• School of Computer Science, University of St Andrews, St. Andrews, UK

  Mark-Jan Nederhof

Policies and ethics