Formal Grammar

1. Front Matter

   Pages I-X

   PDF

2. Formal Grammar 2015: Invited Papers

   1. Front Matter

      Pages 1-1

      PDF

   2. Frames as Records

      • Robin Cooper

      Pages 3-18

   3. Types from Frames as Finite Automata

      • Tim Fernando

      Pages 19-40

3. Formal Grammar 2015: Contributed Papers

   1. Front Matter

      Pages 41-41

      PDF

   2. Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing

      • Vito Michele Abrusci, Roberto Maieli

      Pages 43-59

   3. Algebraic Governance and Symmetry in Dependency Grammars

      • Carles Cardó

      Pages 60-76

   4. On the Mild Context-Sensitivity of k-Tree Wrapping Grammar

      • Laura Kallmeyer

      Pages 77-93

   5. Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars

      • Makoto Kanazawa, Ryo Yoshinaka

      Pages 94-111

   6. Between the Event Calculus and Finite State Temporality

      • Derek Kelleher, Tim Fernando, Carl Vogel

      Pages 112-129

   7. A Modal Representation of Graded Medical Statements

      • Hans-Ulrich Krieger, Stefan Schulz

      Pages 130-146

   8. Models for the Displacement Calculus

      • Oriol Valentín

      Pages 147-163

   9. On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results

      • Christian Wurm

      Pages 164-179

4. Formal Grammar 2016: Contributed Papers

   1. Front Matter

      Pages 181-181

      PDF

   2. Overtly Anaphoric Control in Type Logical Grammar

      • María Inés Corbalán, Glyn Morrill

      Pages 183-199

   3. A Single Movement Normal Form for Minimalist Grammars

      • Thomas Graf, Alëna Aksënova, Aniello De Santo

      Pages 200-215

   4. Word Ordering as a Graph Rewriting Process

      • Sylvain Kahane, François Lareau

      Pages 216-239

   5. Undecidability of the Lambek Calculus with a Relevant Modality

      • Max Kanovich, Stepan Kuznetsov, Andre Scedrov

      Pages 240-256

   6. Introducing a Calculus of Effects and Handlers for Natural Language Semantics

      • Jirka Maršík, Maxime Amblard

      Pages 257-272

   7. Proof Nets for the Displacement Calculus

      • Richard Moot

      Pages 273-289

This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016. The 19 revised full papers presented together with 2 invited talks were carefully reviewed and selected from a total of 34 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
  
• Mathematical foundations of statistical approaches to linguistic analysis
  

• computational linguistics
• formal languages
• logic
• natural language processing
• symbolic and algebraic manipulation

• IRISA, University of Rennes 1 , Rennes, France

  Annie Foret

• Department of Computer Science, Universitat Politècnica de Catalunya , Barcelona, Spain

  Glyn Morrill

• Tilburg University , Tilburg, The Netherlands

  Reinhard Muskens

• Department of General Linguistics, Heinrich-Heine-University Düsseldorf , Düsseldorf, Germany

  Rainer Osswald

• INRIA Nancy, Villers-lès-Nancy, France

  Sylvain Pogodalla

Policies and ethics