skip to content
Type logical grammar : categorial logic of signs Preview this item
ClosePreview this item
Checking...

Type logical grammar : categorial logic of signs

Author: Glyn V Morrill
Publisher: Dordrecht : Springer Science, ©1994.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Morrill, Glyn V.
Type Logical Grammar : Categorial Logic of Signs.
Dordrecht : Springer Netherlands, ©1994
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Glyn V Morrill
ISBN: 9789401110426 9401110425 0792332261 9780792332268
OCLC Number: 847549755
Description: 1 online resource (xiv, 307 pages :) : illustrations
Contents: 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.
Responsibility: by Glyn V. Morrill.

Abstract:

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  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/847549755> # Type logical grammar : categorial logic of signs
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "847549755" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/836934343#Place/dordrecht> ; # Dordrecht
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://id.worldcat.org/fast/1159972> ; # Type theory
   schema:about <http://dewey.info/class/415/e23/> ;
   schema:about <http://id.worldcat.org/fast/1112094> ; # Semantics (Philosophy)
   schema:about <http://id.worldcat.org/fast/1025800> ; # Montague grammar
   schema:about <http://id.worldcat.org/fast/848999> ; # Categorial grammar
   schema:bookFormat schema:EBook ;
   schema:copyrightYear "1994" ;
   schema:creator <http://viaf.org/viaf/41978643> ; # Glyn V. Morrill
   schema:datePublished "1994" ;
   schema:description "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."@en ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/836934343> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/836934343#CreativeWork/type_logical_grammar_categorial_logic_of_signs> ;
   schema:name "Type logical grammar : categorial logic of signs"@en ;
   schema:productID "847549755" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/847549755#PublicationEvent/dordrecht_springer_science_1994> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/836934343#Agent/springer_science> ; # Springer Science
   schema:url <http://dx.doi.org/10.1007/978-94-011-1042-6> ;
   schema:url <http://link.springer.com/10.1007/978-94-011-1042-6> ;
   schema:url <http://site.ebrary.com/id/10645304> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3069206> ;
   schema:workExample <http://worldcat.org/isbn/9780792332268> ;
   schema:workExample <http://worldcat.org/isbn/9789401110426> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/847549755> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/836934343#Agent/springer_science> # Springer Science
    a bgn:Agent ;
   schema:name "Springer Science" ;
    .

<http://id.worldcat.org/fast/1025800> # Montague grammar
    a schema:Intangible ;
   schema:name "Montague grammar"@en ;
    .

<http://id.worldcat.org/fast/1112094> # Semantics (Philosophy)
    a schema:Intangible ;
   schema:name "Semantics (Philosophy)"@en ;
    .

<http://id.worldcat.org/fast/1159972> # Type theory
    a schema:Intangible ;
   schema:name "Type theory"@en ;
    .

<http://id.worldcat.org/fast/848999> # Categorial grammar
    a schema:Intangible ;
   schema:name "Categorial grammar"@en ;
    .

<http://viaf.org/viaf/41978643> # Glyn V. Morrill
    a schema:Person ;
   schema:familyName "Morrill" ;
   schema:givenName "Glyn V." ;
   schema:name "Glyn V. Morrill" ;
    .

<http://worldcat.org/entity/work/data/836934343#CreativeWork/type_logical_grammar_categorial_logic_of_signs>
    a schema:CreativeWork ;
   rdfs:label "Type Logical Grammar : Categorial Logic of Signs." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/847549755> ; # Type logical grammar : categorial logic of signs
    .

<http://worldcat.org/isbn/9780792332268>
    a schema:ProductModel ;
   schema:isbn "0792332261" ;
   schema:isbn "9780792332268" ;
    .

<http://worldcat.org/isbn/9789401110426>
    a schema:ProductModel ;
   schema:isbn "9401110425" ;
   schema:isbn "9789401110426" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.