£107.32

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

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

View at Amazon

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

It has never been this cheap. We have no record of a lower price.

£107 today · cheaper than every other day in the last 8 months

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 101 days • 101 data points (No recent data available)

Historical
Generating forecast...
£107.32 £101.95 £104.10 £106.25 £108.39 £110.54 £112.69 01 October 2025 26 October 2025 20 November 2025 15 December 2025 09 January 2026

Price Distribution

Price distribution over 101 days • 1 price levels

Days at Price
101 days 0 25 51 76 101 £107 Days at Price

Price Analysis

Most common price: £107 (101 days, 100.0%)

Price range: £107 - £107

Price levels: 1 different prices over 101 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

£122.77 12 Feb 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 17 Apr 2026
Springer R-Calculus, IV: Propositional Logic Book
97% match

Springer R-Calculus, IV: Propositional Logic Book

Springer

£104.13 20 Feb 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)

£137.87 14 Jan 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

£64.59 21 Feb 2026
Logic for Applications (Texts in Computer Science)
96% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
Functional Interpretation Of Logical Deduction, The
96% match

Functional Interpretation Of Logical Deduction, The

World Scientific Publishing Company

£69.00 07 Mar 2026
Logic for Computer Science and Artificial Intelligence
96% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.11 13 Apr 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

£40.31 09 Feb 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.53 13 Apr 2026
Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)
95% match

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

Springer

£85.68 08 Jan 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

£100.88 14 Apr 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

£62.45 28 Feb 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

£99.83 12 Apr 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

£99.53 05 Mar 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

£57.86 16 Apr 2026
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
95% match

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

CRC Press

£38.79 17 Feb 2026
Displaying Modal Logic: 3 (Trends in Logic, 3)
95% match

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

Springer

£99.53 05 Mar 2026
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE: 5 (Advances In Logic)
95% match

FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE: 5 (Advances In Logic)

World Scientific Publishing Company

£58.86 03 Mar 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
95% match

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Springer

£42.30 21 Feb 2026
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
95% match

Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)

Cambridge University Press

£94.37 27 Feb 2026
Advanced Łukasiewicz calculus and MV-algebras: 35 (Trends in Logic, 35)
95% match

Advanced Łukasiewicz calculus and MV-algebras: 35 (Trends in Logic, 35)

Springer

£75.02 29 Jan 2026
Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)
95% match

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

Oxford University Press

£162.88 11 Jan 2026
Advanced Łukasiewicz calculus and MV-algebras: 35 (Trends in Logic, 35)
95% match

Advanced Łukasiewicz calculus and MV-algebras: 35 (Trends in Logic, 35)

Springer

£75.84 08 Mar 2026