Book Volume 9804 2016

Formal Grammar

20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

ISBN: 978-3-662-53041-2 (Print) 978-3-662-53042-9 (Online)

Table of contents (18 chapters)

  1. Front Matter

    Pages I-X

  2. Formal Grammar 2015: Invited Papers

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-18

      Frames as Records

    3. No Access

      Chapter

      Pages 19-40

      Types from Frames as Finite Automata

  3. Formal Grammar 2015: Contributed Papers

    1. Front Matter

      Pages 41-41

    2. No Access

      Chapter

      Pages 43-59

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

    3. No Access

      Chapter

      Pages 60-76

      Algebraic Governance and Symmetry in Dependency Grammars

    4. No Access

      Chapter

      Pages 77-93

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

    5. No Access

      Chapter

      Pages 94-111

      Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars

    6. No Access

      Chapter

      Pages 112-129

      Between the Event Calculus and Finite State Temporality

    7. No Access

      Chapter

      Pages 130-146

      A Modal Representation of Graded Medical Statements

    8. No Access

      Chapter

      Pages 147-163

      Models for the Displacement Calculus

    9. No Access

      Chapter

      Pages 164-179

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

  4. Formal Grammar 2016: Contributed Papers

    1. Front Matter

      Pages 181-181

    2. No Access

      Chapter

      Pages 183-199

      Overtly Anaphoric Control in Type Logical Grammar

    3. No Access

      Chapter

      Pages 200-215

      A Single Movement Normal Form for Minimalist Grammars

    4. No Access

      Chapter

      Pages 216-239

      Word Ordering as a Graph Rewriting Process

    5. No Access

      Chapter

      Pages 240-256

      Undecidability of the Lambek Calculus with a Relevant Modality

    6. No Access

      Chapter

      Pages 257-272

      Introducing a Calculus of Effects and Handlers for Natural Language Semantics

    7. No Access

      Chapter

      Pages 273-289

      Proof Nets for the Displacement Calculus

    8. No Access

      Chapter

      Pages 290-305

      Countability: Individuation and Context

    9. No Access

      Chapter

      Pages 306-322

      The Proper Treatment of Linguistic Ambiguity in Ordinary Algebra

  5. Back Matter

    Pages 323-323