The logical approach to syntax: foundations, specifications, and implementations of theories of government and binding
Choice Reviews Online · 1993
Part 1 Logical foundations: theories about strings deductive reasoning about languages deductive parsing - context-free phrase structure and natural language phrase structure. Part 2 Formalizing barriers: X-bar theory the theory of movement government and barriers structure, preservation, head movement and bounding the empty category principle and minimality. Part 3 Variations and elaborations: determiner phrases inflectional phrases and head movement VP-internal subjects. Part 4 Computational models: guided deductions from linguistic theory parsing as constraint satisfaction. Appendices: proving a negative result from RT the first order formalization a guided proof system.