عنوان
پدید آورنده
موضوع
رده
P161 .B945 1994
P161
.
B945
1994
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0792332261
(Number (ISBN
9401110425
(Number (ISBN
9780792332268
(Number (ISBN
9789401110426
NATIONAL BIBLIOGRAPHY NUMBER
Number
b595688
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Type logical grammar :
General Material Designation
[Book]
Other Title Information
categorial logic of signs
First Statement of Responsibility
by Glyn V. Morrill.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht
Name of Publisher, Distributor, etc.
Springer Science
Date of Publication, Distribution, etc.
©1994.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(xiv, 307 pages :) : illustrations
CONTENTS NOTE
Text of Note
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.
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Categorial grammar.
Semantics (Philosophy)
Type theory.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
P161
Book number
.
B945
1994
PERSONAL NAME - PRIMARY RESPONSIBILITY
by Glyn V. Morrill.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Glyn V Morrill
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
