Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning) by Patrick Blackburn
$210.00
|
Logic, Language, and Meaning, Volume 1: Introduction to Logic by L. T. F. Gamut  (1)
$30.00
|
Formal Semantics: The Essential Readings (Linguistics: The Essential Readings) by Paul Portner  (3)
$60.71
|
 (1)
$28.35
|
Join Amazon Prime and ship Two-Day for free and Overnight for $3.99. Already a member? Sign in.
|
|||||||||
Customers Who Bought This Item Also Bought
Editorial Reviews
From the Logical Point of View
At present the research programme presented in van Benthem's monograph is intensively developed by logicians, mathematicians, and specialists in computer science and linguistics. "Language in Action" conveniently reports in detail and in a compact form the results hitherto obtained. Certainly it becomes the standard reference in the area. --This text refers to the Hardcover edition.
Product Description
Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature.
Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general dynamic logic of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he describes the substructural logics driving the dynamics of natural language syntax and semantics. This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic. The emphasis is on a broad landscape of substructural categorial logics and their proof-theoretical and semantic peculiarities. This provides a systematic theory for natural language understanding, admitting of significant mathematical results. Moreover, the theory makes possible dynamic interpretations that view natural languages as programming formalisms for various cognitive activities.
See all Editorial Reviews
At present the research programme presented in van Benthem's monograph is intensively developed by logicians, mathematicians, and specialists in computer science and linguistics. "Language in Action" conveniently reports in detail and in a compact form the results hitherto obtained. Certainly it becomes the standard reference in the area. --This text refers to the Hardcover edition.
Product Description
Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature.
Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general dynamic logic of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he describes the substructural logics driving the dynamics of natural language syntax and semantics. This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic. The emphasis is on a broad landscape of substructural categorial logics and their proof-theoretical and semantic peculiarities. This provides a systematic theory for natural language understanding, admitting of significant mathematical results. Moreover, the theory makes possible dynamic interpretations that view natural languages as programming formalisms for various cognitive activities.
See all Editorial Reviews
Product Details
Would you like to update product info or give feedback on images?
|
|
Inside This Book Citations: This book cites 56 books | 57 books that cite this book Explore: Citations | Books on Related Topics | Concordance | Text Stats Key Phrases - SIPs: categorial calculi, categorial equations, finite base domains, denotational constraints, full type theory (more) Key Phrases - CAPs: Modus Ponens, Categorial Hierarchy, Finiteness Theorem, Artificial Intelligence, Peano Arithmetic (more) Browse Sample Pages: Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover | Surprise Me! |
||
Inside This Book
(learn more)
First Sentence:
The idea that the objects of thought form a hierarchy of categories is an old one in Philosophy. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
categorial calculi, categorial equations, finite base domains, denotational constraints, full type theory, lambda semantics, same modal formulas, categorial combination, derivational polymorphism, categorial calculus, extensional items, categorial paradigm, usual structural rules, classical structural rules, full lambda calculus, derivable transition, implicational calculi, basic modal language, categorial derivations, dynamic modal logic, natural deduction trees, flexible categorial grammar, permutation closure, bisimulation invariance, implicational logic Key Phrases - Capitalized Phrases (CAPs): (learn more)
Modus Ponens, Categorial Hierarchy, Finiteness Theorem, Artificial Intelligence, Peano Arithmetic, Presburger Arithmetic, Relevance Logic, Montague Grammar New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover | Surprise Me!
The idea that the objects of thought form a hierarchy of categories is an old one in Philosophy. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
categorial calculi, categorial equations, finite base domains, denotational constraints, full type theory, lambda semantics, same modal formulas, categorial combination, derivational polymorphism, categorial calculus, extensional items, categorial paradigm, usual structural rules, classical structural rules, full lambda calculus, derivable transition, implicational calculi, basic modal language, categorial derivations, dynamic modal logic, natural deduction trees, flexible categorial grammar, permutation closure, bisimulation invariance, implicational logic Key Phrases - Capitalized Phrases (CAPs): (learn more)
Modus Ponens, Categorial Hierarchy, Finiteness Theorem, Artificial Intelligence, Peano Arithmetic, Presburger Arithmetic, Relevance Logic, Montague Grammar New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 56
books:
See a
- Categorial Grammar (Studies in Functional and Structural Linguistics) by Wojciech Buszkowski on 10 pages
- Modal Logic by Patrick Blackburn on 6 pages
- Dynamic Logic (Foundations of Computing) by David Harel on 5 pages
- The Lambda Calculus (Studies in Logic and the Foundations of Mathematics) (Studies in Logic and the Foundations of Mathematics) by H.P. Barendregt on 5 pages
- Model Theory (Studies in Logic and the Foundations of Mathematics) by C.C. Chang on page 285, and Back Matter
See a