rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    non sort: The
    title: Logic of Categorial Grammars
    sub title: A Deductive Account of Natural Language Syntax and Semantics
  name:
    name part: Moot, Richard.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: Retoré, Christian.
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2012
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: X, 300 p. 69 illus. online resource.
  abstract: This textbook is a contemporary, comprehensive introduction to categorial grammars in the logical tradition initiated by Lambek. It guides students and researchers through fundamental results, original developments and applications. Numerous examples and exercises underline the logical, computational and linguistic relevance of categorial grammars. Chapters: 1) AB grammars, 2) Lambek's Syntactic Calculus, 3) Lambek Calculus and Montague Grammar, 4) The non-associative Lambek calculus, 5) The multimodal Lambek calculus, 6) Proof nets for linear logic and the Lambek calculus, 7) Multimodal proof nets.
  note: by Richard Moot, Christian Retoré.
  subject:
    topic: Computer science
  subject:
    topic: Logic
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Linguistics
  subject:
    topic: Computational linguistics
  subject:
    topic: Computer Science
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Computational Linguistics
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Linguistics, general
  subject:
    topic: Logic
  subject:
    topic: Programming Languages, Compilers, Interpreters
  classification: QA8.9-QA10.3
  classification: 005.131
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 6850
  identifier: 9783642315558
  identifier: http://dx.doi.org/10.1007/978-3-642-31555-8
  record info:
    record creation date: 120629
    record change date: 20170119093045.0
    record identifier: 978-3-642-31555-8