£122.77

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

Price data last checked 117 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.

£123 today · cheaper than every other day in the last 4 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 12 days • 12 data points (No recent data available)

Historical
Generating forecast...
£145.04 £120.54 £125.89 £131.23 £136.58 £141.92 £147.27 01 February 2026 03 February 2026 06 February 2026 09 February 2026 12 February 2026

Price Distribution

Price distribution over 12 days • 2 price levels

Days at Price
Current Price
1 day · current 11 days 0 3 6 8 11 £123 £145 Days at Price

Price Analysis

Most common price: £145 (11 days, 91.7%)

Price range: £123 - £145

Price levels: 2 different prices over 12 days

Description

This third volume of the book series shows R-calculus is a Gentzen-typed 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. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.

Product Specifications

Format
Paperback
Domain
Amazon UK
Release Date
21 November 2023
Listed Since
25 October 2023

Barcode

No barcode data available

Similar Products You Might Like

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

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

£107.32 09 Jan 2026
Springer R-Calculus, IV: Propositional Logic Book
98% match

Springer R-Calculus, IV: Propositional Logic Book

Springer

£104.13 20 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
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
Functional Interpretation Of Logical Deduction, The
96% match

Functional Interpretation Of Logical Deduction, The

World Scientific Publishing Company

£69.00 07 Mar 2026
Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
96% 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)
96% match

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

Springer

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

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

World Scientific Publishing Company

£58.86 03 Mar 2026
Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)
96% 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
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
96% match

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

CRC Press

£85.00 08 Mar 2026
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
96% match

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

Cambridge University Press

£94.37 27 Feb 2026
Gentzen's Logical Calculi: (the theory pamphlet) (SpringerBriefs in Philosophy)
96% match

Gentzen's Logical Calculi: (the theory pamphlet) (SpringerBriefs in Philosophy)

Springer

£44.99 10 Mar 2026
Lectures on Mathematical Logic, Volume II: Calculi for Derivations and Deductions: 02
96% match

Lectures on Mathematical Logic, Volume II: Calculi for Derivations and Deductions: 02

CRC Press

£102.87 18 Feb 2026
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)
95% 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
Displaying Modal Logic: 3 (Trends in Logic, 3)
95% match

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

Springer

£99.53 05 Mar 2026
Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)
95% match

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

North Holland

£163.49 23 Jan 2026
Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996: 12 (Lecture Notes in Logic, Series Number 12)
95% match

Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996: 12 (Lecture Notes in Logic, Series Number 12)

Cambridge University Press

£78.84 27 Feb 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
95% match

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Springer

£157.85 10 Mar 2026
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
95% match

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Springer

£62.33 08 Mar 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
Mathematical Logic and Computation
95% match

Mathematical Logic and Computation

£55.89 13 Jan 2026
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles
95% match

Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles

£84.63 10 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
Logic and Structure (Universitext)
95% match

Logic and Structure (Universitext)

Springer

£48.08 14 Apr 2026