عنوان

Type logical grammar :

شابک

0792332261

شابک

9401110425

شابک

9780792332268

شابک

9789401110426

شماره

b595688

عنوان اصلي

Type logical grammar :

نام عام مواد

[Book]

ساير اطلاعات عنواني

categorial logic of signs

نام نخستين پديدآور

by Glyn V. Morrill.

محل نشرو پخش و غیره

Dordrecht

نام ناشر، پخش کننده و غيره

Springer Science

تاریخ نشرو بخش و غیره

©1994.

نام خاص و کميت اثر

(xiv, 307 pages :) : illustrations

متن يادداشت

One: Montague Grammar --; Two: Logic of Types and Types of Logic --; Three: Categorial Grammar --; Four: Enriching Categorial Grammar --; Five: Intensionality and Binding --; Six: Polymorphism --; Seven: Structural Control --; Eight: Extraction --; Nine: Conclusion --; Appendix A: Interpretation of Types --; Appendix B: Gentzen Sequent Rules --; Appendix C: Summary Grammar.

متن يادداشت

This book sets out the foundations, methodology, and practice of a formal framework for the description of language. The approach embraces the trends of lexicalism and compositional semantics in computational linguistics, and theoretical linguistics more broadly, by developing categorial grammar into a powerful and extendable logic of signs. Taking Montague Grammar as its point of departure, the book explains how integration of methods from philosophy (logical semantics), computer science (type theory), linguistics (categorial grammar) and meta-mathematics (mathematical logic) provides a categorial foundation with coverage including intensionality, quantification, featural polymorphism, domains and constraints. For the first time, the book systematises categorial thinking into a unified program which is at once both logically secured, and a practical tool for pure lexical grammar development with type-theoretic semantics. It should be of interest to all those active in computational linguistics and formal grammar and is suitable for use at advanced undergraduate, postgraduate, and research levels.

موضوع مستند نشده

Categorial grammar.

موضوع مستند نشده

Semantics (Philosophy)

موضوع مستند نشده

Type theory.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

by Glyn V. Morrill.

مستند نام اشخاص تاييد نشده

Glyn V Morrill

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y