Type-Logical Semantics

Type-Logical Semantics
Author :
Publisher : MIT Press
Total Pages : 616
Release :
ISBN-10 : 0262531496
ISBN-13 : 9780262531498
Rating : 4/5 (498 Downloads)

Book Synopsis Type-Logical Semantics by : Bob Carpenter

Download or read book Type-Logical Semantics written by Bob Carpenter and published by MIT Press. This book was released on 1998-07-24 with total page 616 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Type-Logical Semantics Related Books

Type-Logical Semantics
Language: en
Pages: 616
Authors: Bob Carpenter
Categories: Language Arts & Disciplines
Type: BOOK - Published: 1998-07-24 - Publisher: MIT Press

GET EBOOK

Based on an introductory course on natural-language semantics, this book provides an introduction to type-logical grammar and the range of linguistic phenomena
Type-Logical Syntax
Language: en
Pages: 420
Authors: Yusuke Kubota
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2020-09-15 - Publisher: MIT Press

GET EBOOK

A novel logic-based framework for representing the syntax-semantics interface of natural language, applicable to a range of phenomena. In this book, Yusuke Kubo
Type Logical Grammar
Language: en
Pages: 312
Authors: G.V. Morrill
Categories: Philosophy
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

This book sets out the foundations, methodology, and practice of a formal framework for the description of language. The approach embraces the trends of lexical
Categorial Grammar
Language: en
Pages: 253
Authors: Glyn Morrill
Categories: Computers
Type: BOOK - Published: 2010-09-22 - Publisher: Oxford University Press

GET EBOOK

This book provides a state-of-the-art introduction to categorial grammar, a type of formal grammar which analyses expressions as functions or according to a fun
Anaphora and Type Logical Grammar
Language: en
Pages: 301
Authors: Gerhard Jäger
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2005-12-08 - Publisher: Springer Science & Business Media

GET EBOOK

Type Logical Grammar is a framework that emerged from the synthesis of two traditions: Categorial Grammar from formal linguistics and substructural logics from