£120.38

This is the most expensive it has ever been. Walk away.

£120 today · previous high £120 · all-time low £118

Wiley Formal Semantics in Modern Type Theories (Cognitive Science: Logic Linguistics and Computer Science Set, 2)

Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 63 days · 63 data points (no recent data)

Historical
Generating forecast…
£120.38 £117.31 £117.98 £118.65 £119.32 £119.99 £120.66 25 July 2026 09 August 2026 25 August 2026 09 September 2026 25 September 2026
View at Amazon ↗

Price data last checked 28 day(s) ago - will refresh soon

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↑ Price chart
when this has been cheap or pricey
↑ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 63 days • 2 price levels

Days at Price
Current Price
16 days 47 days · current 0 12 24 35 47 £118 £120 Days at Price

Price Analysis

Most common price: £120 (47 days, 74.6%)

Price range: £118 - £120

Price levels: 2 different prices over 63 days

Description

This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type structures and provide powerful means for adequate semantic constructions. This offers a serious alternative to the traditional settheoretical foundation for linguistic semantics and opens up a new avenue for developing formal semantics that is both model-theoretic and proof-theoretic, which was not available before the development of MTTsemantics. This book provides a reader-friendly and precise description of MTTs and offers a comprehensive introduction to MTT-semantics. It develops several case studies, such as adjectival modification and copredication, to exemplify the attractiveness of using MTTs for the study of linguistic meaning. It also examines existing proof assistant technology based on MTT-semantics for the verification of semantic constructions and reasoning in natural language. Several advanced topics are also briefly studied, including dependent event types, an application of dependent typing to event semantics.

Product Specifications

Brand
Wiley
Format
hardcover
Domain
Amazon UK
Release Date
05 March 2021
Listed Since
03 November 2017

Barcode

No barcode data available

Similar Products You Might Like

Type-Logical Semantics (Language, Speech, and Communication)
96% match

Type-Logical Semantics (Language, Speech, and Communication)

MIT Press

£52.87 09 Sep 2026
Quantification and Syntactic Theory: 21 (Studies in Linguistics and Philosophy, 21)
96% match

Quantification and Syntactic Theory: 21 (Studies in Linguistics and Philosophy, 21)

Springer

£108.11 23 Sep 2026
Applied Logic: How, What and Why: Logical Approaches to Natural Language: 247 (Synthese Library, 247)
96% match

Applied Logic: How, What and Why: Logical Approaches to Natural Language: 247 (Synthese Library, 247)

Springer

£114.56 30 Sep 2026
The Syntax and Semantics of Split Constructions: A Comparative Study
96% match

The Syntax and Semantics of Split Constructions: A Comparative Study

MACMILLAN

£69.83 03 Oct 2026
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
96% match

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Springer

£67.95 18 Sep 2026
Key Terms in Semantics
96% match

Key Terms in Semantics

Bloomsbury

£40.89 13 Sep 2026
Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution: 32 (Cambridge Tracts in Theoretical Computer Science, Series Number 32)
96% match

Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution: 32 (Cambridge Tracts in Theoretical Computer Science, Series Number 32)

Cambridge University Press

£44.65 11 Sep 2026
AI Aspects in Reasoning, Languages, and Computation: 889 (Studies in Computational Intelligence, 889)
96% match

AI Aspects in Reasoning, Languages, and Computation: 889 (Studies in Computational Intelligence, 889)

Springer

£100.11 18 Sep 2026
Logic, Language and Computation: 5 (Applied Logic Series, 5)
96% match

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Springer

£75.80 30 Sep 2026
Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)
95% match

Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)

Springer

£138.85 26 Sep 2026
Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
95% match

Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Cambridge University Press

£100.99 03 Oct 2026
Ontology and the Lexicon: A Natural Language Processing Perspective (Studies in Natural Language Processing)
95% match

Ontology and the Lexicon: A Natural Language Processing Perspective (Studies in Natural Language Processing)

Cambridge University Press

£95.68 23 Sep 2026
Quantification, Definiteness, and Nominalization (Oxford Studies in Theoretical Linguistics): 24
95% match

Quantification, Definiteness, and Nominalization (Oxford Studies in Theoretical Linguistics): 24

Oxford University Press

£32.99 22 Sep 2026
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
95% match

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Springer

£92.22 19 Sep 2026
Word Meaning and Montague Grammar: The Semantics of Verbs and Times in Generative Semantics and in Montague's PTQ: 7 (Studies in Linguistics and Philosophy, 7)
95% match

Word Meaning and Montague Grammar: The Semantics of Verbs and Times in Generative Semantics and in Montague's PTQ: 7 (Studies in Linguistics and Philosophy, 7)

Springer

£164.36 05 Sep 2026
The Logic of Pronominal Resumption (Oxford Studies in Theoretical Linguistics): 35
95% match

The Logic of Pronominal Resumption (Oxford Studies in Theoretical Linguistics): 35

Oxford University Press

£54.85 24 Sep 2026
Eliminating The Universe: Logical Properties Of Natural Language
95% match

Eliminating The Universe: Logical Properties Of Natural Language

Scientific Publishing

£63.67 29 Aug 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
95% match

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Springer

£52.36 11 Sep 2026
The Theta System: Argument Structure at the Interface (Oxford Studies in Theoretical Linguistics): 37
95% match

The Theta System: Argument Structure at the Interface (Oxford Studies in Theoretical Linguistics): 37

Oxford University Press

£64.81 17 Sep 2026
Objects and Attitudes
95% match

Objects and Attitudes

Oxford University Press

£67.31 03 Sep 2026
Cambridge University Press - Type Theory and Formal Proof Book
95% match

Cambridge University Press - Type Theory and Formal Proof Book

Cambridge University Press

£74.11 26 Sep 2026
Donald Davidson's Truth-Theoretic Semantics
95% match

Donald Davidson's Truth-Theoretic Semantics

Oxford University Press

£69.89 26 Sep 2026
Quantification in Natural Languages: Volume I: 54 (Studies in Linguistics and Philosophy)
95% match

Quantification in Natural Languages: Volume I: 54 (Studies in Linguistics and Philosophy)

Springer

£159.45 25 Sep 2026
Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)
95% match

Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)

Birkhauser

£72.50 13 Sep 2026