Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33) - Image 1

£85.01

Springer Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)

Name: Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)
Brand: Springer
Price: 85.01 GBP
Availability: InStock

Computer Science

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£85 today · all-time low £84 (May 2026) · usually the usual

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 History & Forecast

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

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

Historical

Generating forecast…

Price Distribution

Price distribution over 46 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £85 (32 days, 69.6%)

Price range: £84 - £86

Price levels: 3 different prices over 46 days

Description

This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux are built in a relational language which provides useful means of presentation of the theories. In this way modularity of dual tableaux is ensured. We do not need to develop and implement each dual tableau from scratch, we should only extend the relational core common to many theories with the rules specific for a particular theory.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 9400700040
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 30 November 2010
Listed Since: 11 August 2010

Barcode

No barcode data available

Springer Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)

About as cheap as it gets. The only time it was cheaper was 2 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)

Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)

Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, ... (Lecture Notes in Computer Science, 10501)

First-Order Logic: 43 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 43)

Mathematical Logic for Computer Science

Kripke’s Worlds: An Introduction to Modal Logics via Tableaux (Studies in Universal Logic)

R-Calculus, II: Many-Valued Logics (Perspectives in Formal Induction, Revision and Evolution)

Handbook of Tableau Methods

Logic for Applications (Texts in Computer Science)

Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)

Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings: 11715 (Lecture Notes in Computer Science, 11715)

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Logic for Computer Science and Artificial Intelligence

Natural Dualities for the Working Algebraist: 57 (Cambridge Studies in Advanced Mathematics, Series Number 57)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Displaying Modal Logic: 3 (Trends in Logic, 3)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Logic with Trees: An Introduction to Symbolic Logic

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)