Specifying Syntactic Structures

The papers in this book apply mathematical and logical methods to the description of linguistic structures. Such descriptions are useful for a variety of purposes. For example, they make it easier to design and debug software for dealing with human languages. The purpose of the volume is to introduce a number of new and better methods for describing linguistic structures. The volume contains contributions on the logical foundations of current syntactic theories, as well as on logical methods that lead to new ways of describing syntactic structures.

Patrick Blackburn is a lecturer at the department of computational linguistics in the University of Saarland. Maarten de Rijke is leader of the computational logic group at the Institute for Logic, Language and Computation at the University of Amsterdam.

Contents

6/1/97