{"product_id":"9783642315541","title":"Lecture Notes in Computer Science: A deductive account of natural language syntax and semantics","description":"\u003ch1\u003eLecture Notes in Computer Science: A deductive account of natural language syntax and semantics\u003c\/h1\u003e \u003ch2\u003eMoot, Richard; Retore, Christian\u003c\/h2\u003e \u003cp\u003eThis book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars and their logical foundations. These lecture notes present categorial grammars as deductive systems, in the approach called parsing-as-deduction, and the book includes detailed proofs of their main properties.\nThe papers are organized in topical sections on AB grammars, Lambek’s syntactic calculus, Lambek calculus and montague grammar, non-associative Lambek calculus, multimodal Lambek calculus, Lambek calculus, linear logic and proof nets and proof nets for the multimodal Lambek calculus.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2012-07-02\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783642315541\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-642-31555-8\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 300\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45373640114316,"sku":"9783642315541","price":71.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783642315541.jpg?v=1774010301","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783642315541","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}