9780198538578-019853857X-Type-Theoretical Grammar (Indices, 1)

Type-Theoretical Grammar (Indices, 1)

ISBN-13: 9780198538578
ISBN-10: 019853857X
Edition: 1
Author: Ranta, Aarne
Publication date: 1995
Publisher: Clarendon Press
Format: Hardcover 240 pages
FREE shipping on ALL orders

Book details

ISBN-13: 9780198538578
ISBN-10: 019853857X
Edition: 1
Author: Ranta, Aarne
Publication date: 1995
Publisher: Clarendon Press
Format: Hardcover 240 pages

Summary

Acknowledged authors Ranta, Aarne wrote Type-Theoretical Grammar (Indices, 1) comprising 240 pages back in 1995. Textbook and eTextbook are published under ISBN 019853857X and 9780198538578. Since then Type-Theoretical Grammar (Indices, 1) textbook was available to sell back to BooksRun online for the top buyback price or rent at the marketplace.

Description

Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the foundations of mathematics and computer science. However, although it provides a considerable extension of the concepts and techniques of logic, it remains relatively unknown among linguists and philosophers. This work presents constructive type theory from the point of view of linguistics and the philosophy of language, introducing its valuable approach to those in areas in which it has remained unfamiliar. The theory is then applied to quantification, anaphora, temporal reference, and the structures of text and discourse. Various phenomena of dependence and progression are discussed in the light of concepts of proof object and content, and the solutions to several well-known problems are discussed.

Rate this book Rate this book

We would LOVE it if you could help us and other readers by reviewing the book