Skip Nav Destination
Close Modal
Update search
NARROW
Format
Subjects
Date
Availability
1-18 of 18
Bob Carpenter
Close
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Sort by
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0011
EISBN: 9780262269902
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0012
EISBN: 9780262269902
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0013
EISBN: 9780262269902
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0014
EISBN: 9780262269902
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0015
EISBN: 9780262269902
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0016
EISBN: 9780262269902
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0017
EISBN: 9780262269902
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.001.0001
EISBN: 9780262269902
Based on an introductory course on natural-language semantics, this book provides an introduction to type-logical grammar and the range of linguistic phenomena that can be handled in categorial grammar. It also contains a great deal of original work on categorial grammar and its application to natural-language semantics. The author chose the type-logical categorial grammar as his grammatical basis because of its broad syntactic coverage and its strong linkage of syntax and semantics. Although its basic orientation is linguistic, the book should also be of interest to logicians and computer scientists seeking connections between logical systems and natural language. The book, which stepwise develops successively more powerful logical and grammatical systems, covers an unusually broad range of material. Topics covered include higher-order logic, applicative categorial grammar, the Lambek calculus, coordination and unbounded dependencies, quantifiers and scope, plurals, pronouns and dependency, modal logic, intensionality, and tense and aspect. The book contains more mathematical development than is usually found in texts on natural language; an appendix includes the basic mathematical concepts used throughout the book.
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0001
EISBN: 9780262269902
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0002
EISBN: 9780262269902
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0003
EISBN: 9780262269902
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0004
EISBN: 9780262269902
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0005
EISBN: 9780262269902
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0006
EISBN: 9780262269902
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0007
EISBN: 9780262269902
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0008
EISBN: 9780262269902
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0009
EISBN: 9780262269902
Book: Type-Logical Semantics
Publisher: The MIT Press
Published: 24 July 1998
DOI: 10.7551/mitpress/6945.003.0010
EISBN: 9780262269902