Showing all 2 results


Implementing Typed Feature Structure Grammars

$47.92 $10.00

Much of the work in modern formal linguistics is concerned with giving mathematically precise accounts of human languages. Such work is particularly suited for research that involves language processing with computers. This book provides an introduction to one particularly popular approach, typed-feature structure formalisms. Implementing Typed Feature Structure Grammars includes informal (but rigorous) descriptions of typed-feature structure logic as well as formal definitions. The book covers the basics of grammar development by introducing different frameworks to the reader such as categorial grammar and Head-Driven Phrase Structure Grammar, and demonstrates how these can be implemented. Semantic representation is also introduced. The book includes a CD of the LKB system software that allows the reader to experiment with various grammars and learn the details of the formalism. The CD is compatible with Windows, MacOS, Linux and Solaris, and includes a full user manual.

Language, Proof, and Logic

This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of “Language, Proof and Logic” represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.

About the Author

Dave Barker-Plummer is a senior research scientist at Stanford University’s Center for the Study of Language and Information. Jon Barwise (1942-2000) served on the faculties of Yale University, the University of Wisconsin, Stanford University, and Indiana University. John Etchemendy is currently provost and professor of philosophy and symbolic systems at Stanford University.