WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/1124466082

The logic of categorial grammars : a deductive account of natural language syntax and semantics

Open All Close All

type

about

http://schema.org/about

contributor

creator

description

http://schema.org/description

  • "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."
  • "Annotation. This 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.The papers are organized in topical sections on AB grammars, Lambeks 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."
  • "-- Thistextbook 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."

genre

http://schema.org/genre

  • "Electronic books"
  • "Ressources Internet"

name

http://schema.org/name

  • "The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics"
  • "The logic of categorial grammars : a deductive account of natural language syntax and semantics"@en
  • "The Logic of categorial grammars : a deductive account of natural language syntax and semantics"
  • "The logic of categorial grammars a deductive account of natural language syntax and semantics"
  • "The Logic of categorial grammars a deductive account of natural language syntax and semantics"

workExample