.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Anaphora and Type Logical Grammar
Gerhard Jager
€ 199.90
FREE Delivery in Ireland
Description for Anaphora and Type Logical Grammar
Hardback. Develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction. After giving an introduction into Type Logical Grammar in general, this book discusses the formal properties of this connective. Series: Trends in Logic. Num Pages: 304 pages, biography. BIC Classification: CFK. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 1340.
ThisbookdiscusseshowTypeLogicalGrammarcanbemodi?edinsuch awaythatasystematictreatmentofanaphoraphenomenabecomesp- sible without giving up the general architecture of this framework. By Type Logical Grammar, I mean the version of Categorial Grammar that arose out of the work of Lambek, 1958 and Lambek, 1961. There Ca- gorial types are analyzed as formulae of a logical calculus. In particular, the Categorial slashes are interpreted as forms of constructive impli- tion in the sense of Intuitionistic Logic. Such a theory of grammar is per se attractive for a formal linguist who is interested in the interplay between formal logic and the structure of language. What makes L- bekstyleCategorialGrammarevenmoreexcitingisthefactthat(asvan Benthem,1983pointsout)theCurry-Howardcorrespondence-acentral part of ... Read more
ThisbookdiscusseshowTypeLogicalGrammarcanbemodi?edinsuch awaythatasystematictreatmentofanaphoraphenomenabecomesp- sible without giving up the general architecture of this framework. By Type Logical Grammar, I mean the version of Categorial Grammar that arose out of the work of Lambek, 1958 and Lambek, 1961. There Ca- gorial types are analyzed as formulae of a logical calculus. In particular, the Categorial slashes are interpreted as forms of constructive impli- tion in the sense of Intuitionistic Logic. Such a theory of grammar is per se attractive for a formal linguist who is interested in the interplay between formal logic and the structure of language. What makes L- bekstyleCategorialGrammarevenmoreexcitingisthefactthat(asvan Benthem,1983pointsout)theCurry-Howardcorrespondence-acentral part of ... Read more
Product Details
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Number of pages
304
Condition
New
Series
Trends in Logic
Number of Pages
290
Place of Publication
New York, NY, United States
ISBN
9781402039041
SKU
V9781402039041
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Anaphora and Type Logical Grammar