Online resource; title from PDF title page (SpringerLink, viewed August 29, 2019).

Includes bibliographical references and index.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 24th International Conference on Formal Grammar, FG 2019, held in Riga, Latvia, in August 2019, in conjunction with the 31st European Summer School in Logic, Language and Information, ESSLI 2019. The 7 full papers presented were carefully reviewed and selected from 11 submissions. They present new and original research on formal grammar, mathematical linguistics, and the application of formal and mathematical methods to the study of natural language and focus on topics such as 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.

Intro; Preface; Organization; What Inductive Biases Enable Human-Like Syntactic Generalization? (Abstract of Invited Talk); Contents; A Purely Surface-Oriented Approach to Handling Arabic Morphology; 1 Introduction; 2 Arabic Morphology: Theoretical and Computational Approaches; 3 A Purely Surface-Oriented Approach; 3.1 Glued Strings; 3.2 Occurrence; 3.3 Morphological Class; 3.4 Discontinuity, Reduplication and Handlers; 3.5 Morphs and Morphemes; 4 Arabic Morphology Within the Proposed Framework; 4.1 Root and Pattern Matching; 4.2 Morphophonemic Alternations; 5 Results and Future Work

3.3 TSL as the Composition of Three Transductions3.4 Input-Sensitive TSL; 4 Formal Analysis; 4.1 Relations to Other Subregular Classes; 4.2 Closure Properties; 5 Intersection Closure of TSL and ITSL; 5.1 Intersection Closure of TSL Languages; 5.2 Intersection Closure of ITSL Languages; 6 Learnability Considerations; 7 Conclusions; References; Quantificational Subordination as Anaphora to a Function; 1 Introduction; 2 Type-Theoretical Semantics; 3 The Proposal; 3.1 Syntax and Semantics; 3.2 Derivations; 4 Telescoping; 4.1 Covert Subordination; 4.2 Constraints; 5 Comparison with TTS

6 Discussion and Future WorkReferences; Undecidability of a Newly Proposed Calculus for CatLog3; 1 Introduction; 2 The Calculus; 3 The Bracket-Free System and the Projection; 4 Undecidability Proof; 5 Conclusion; References; Proof-Theoretic Aspects of Hybrid Type-Logical Grammars; 1 Introduction; 2 Natural Deduction; 3 Normalisation; 4 Proof Nets; 4.1 Proof Structures; 4.2 Abstract Proof Structures; 4.3 Structural Rules and Contractions; 5 Correctness of the Proof Net Calculus; 6 Complexity; 7 Conclusion; References; On the Computational Complexity of Head Movement and Affix Hopping

1 Introduction2 MG Without Head Movement; 2.1 Parsing with Succinct MG; 3 MG with Head Movement; 4 Improved Parsing of MG with Head Movement; 5 ATB Head Movement; 6 Affix Hopping; 7 Conclusion; References; Author Index