Type-theoretical Grammar

Name: Type-theoretical Grammar
Brand: Oxford University Press
SKU: 9780198538578
Price: 18200 KES
Availability: OutOfStock
ISBN: 9780198538578

by Aarne Ranta

Book Details

Format Hardback

Book Series Indices

ISBN-10 019853857X

ISBN-13 9780198538578

Publisher Oxford University Press

Imprint Clarendon Press

Country of Manufacture GB

Country of Publication GB

Publication Date Jan 5th, 1995

Print length 238 Pages

Weight 494 grams

Dimensions 24.10 x 16.20 x 1.80 cms

Product Classification: Grammar, syntax & morphology Applied mathematics Computer science

KSh 18,200.00

Temporarily out of stock, due soon 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

BL First book to apply type theory to natural languagePer Martin Lof first presented constructive type theory in 1970 and it has become intrinsic to the foundations of mathematics and computer science. This book is the first to take an in-depth look at the theory from the point of view of linguistics and the philosophy of language.

Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches in the foundations of mathematics and computer science. But it has remained relatively unknown among linguists and philosophers, although it provides a comsiderable extension of the concepts and techniques of logic.The book contains an introduction to type theory from the point of view of linguistics and the philosophy of language. Type theory is then applied in the areas of quantification, anaphora, temporal reference, and the structure of text and discourse. In virtue of the type theoretical concepts of proof object and context, various phenomena of dependence and progression in language can be discussed in precise terms, and several well-known problems can be solved.

Get Type-theoretical Grammar by Aarne Ranta at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Oxford University Press and it has 238 pages.