£107.98

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

Price data last checked 45 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

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

£108 today · previous high £108 · all-time low £107

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…
£107.98 £107.38 £107.51 £107.64 £107.77 £107.90 £108.04 28 April 2026 09 May 2026 20 May 2026 31 May 2026 12 June 2026

Price Distribution

Price distribution over 46 days • 2 price levels

Days at Price
Current Price
2 days 44 days · current 0 11 22 33 44 £107 £108 Days at Price

Price Analysis

Most common price: £108 (44 days, 95.7%)

Price range: £107 - £108

Price levels: 2 different prices over 46 days

Description

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
15 April 2023
Listed Since
17 March 2023

Barcode

No barcode data available

Similar Products You Might Like

R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)
98% match

R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)

Springer

£132.03 28 Jun 2026
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
98% match

R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)

Springer

£74.25 17 Jul 2026
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
98% match

R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)

Springer

£94.11 15 Jul 2026
R-Calculus, IV: Propositional Logic (Perspectives in Formal Induction, Revision and Evolution)
97% match

R-Calculus, IV: Propositional Logic (Perspectives in Formal Induction, Revision and Evolution)

Springer

£125.74 22 May 2026
Springer R-Calculus, IV: Propositional Logic Book
97% match

Springer R-Calculus, IV: Propositional Logic Book

Springer

£104.13 02 Jul 2026
R-Calculus, V: Description Logics (Perspectives in Formal Induction, Revision and Evolution)
97% match

R-Calculus, V: Description Logics (Perspectives in Formal Induction, Revision and Evolution)

Springer

£131.35 17 Jun 2026
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)
96% match

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

Springer

£61.75 02 Jul 2026
Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)
96% match

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

Springer

£109.18 24 Jul 2026
Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference
96% match

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

World Scientific Publishing Company

£73.01 17 Jul 2026
Logic for Applications (Texts in Computer Science)
96% match

Logic for Applications (Texts in Computer Science)

Springer

£74.84 13 Jun 2026
Functional Interpretation Of Logical Deduction, The
96% match

Functional Interpretation Of Logical Deduction, The

World Scientific Publishing Company

£69.00 08 Jul 2026
Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)
96% match

Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)

Springer

£74.50 20 May 2026
Logic for Computer Science and Artificial Intelligence
96% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.12 14 Jul 2026
First-Order Logic: 43 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 43)
96% match

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

Springer

£36.52 26 Jun 2026
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
96% match

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

Birkhauser

£46.71 14 Jul 2026
R-Calculus, VI: Finite Injury Priority Method (Perspectives in Formal Induction, Revision and Evolution)
95% match

R-Calculus, VI: Finite Injury Priority Method (Perspectives in Formal Induction, Revision and Evolution)

Springer

£97.43 21 May 2026
Proofs and Computations (Perspectives in Logic)
95% match

Proofs and Computations (Perspectives in Logic)

Cambridge University Press

£68.97 18 Jul 2026
Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
95% match

Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

DUNOD

£42.60 25 Jul 2026
Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)
95% match

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

Springer

£101.28 14 Jul 2026
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)
95% match

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

Springer

£61.79 04 Jul 2026
Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
95% match

Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)

Springer

£100.10 14 Jul 2026
Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
95% match

Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)

Springer

£100.10 07 Jul 2026
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)
95% match

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

Springer

£58.27 15 Jul 2026
Mathematical Logic for Computer Science
95% match

Mathematical Logic for Computer Science

Springer

£46.04 27 Jul 2026