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.
具体描述
读后感
评分
评分
评分
评分
用户评价
OMG终于看完前五章基础部分了，好生涩。lambda演算→古典范畴语法→兰贝克演算。其实lambda演算是作为语义表示后来加装上去的，最后证明了lambda归约和兰贝克证明的某种同构。
评分OMG终于看完前五章基础部分了，好生涩。lambda演算→古典范畴语法→兰贝克演算。其实lambda演算是作为语义表示后来加装上去的，最后证明了lambda归约和兰贝克证明的某种同构。
评分OMG终于看完前五章基础部分了，好生涩。lambda演算→古典范畴语法→兰贝克演算。其实lambda演算是作为语义表示后来加装上去的，最后证明了lambda归约和兰贝克证明的某种同构。
评分OMG终于看完前五章基础部分了，好生涩。lambda演算→古典范畴语法→兰贝克演算。其实lambda演算是作为语义表示后来加装上去的，最后证明了lambda归约和兰贝克证明的某种同构。
评分OMG终于看完前五章基础部分了，好生涩。lambda演算→古典范畴语法→兰贝克演算。其实lambda演算是作为语义表示后来加装上去的，最后证明了lambda归约和兰贝克证明的某种同构。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有