£101.20

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

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

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.

£101 today · cheaper than every other day in the last 3 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 62 days · 62 data points (no recent data)

Historical
Generating forecast…
£101.20 £96.14 £98.16 £100.19 £102.21 £104.24 £106.26 07 June 2026 22 June 2026 07 July 2026 22 July 2026 07 August 2026

Price Distribution

Price distribution over 62 days • 1 price levels

Days at Price
62 days 0 16 31 47 62 £101 Days at Price

Price Analysis

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

Price range: £101 - £101

Price levels: 1 different prices over 62 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
hardcover
Domain
Amazon UK
Release Date
20 November 2022
Listed Since
24 May 2022

Barcode

No barcode data available

Similar Products You Might Like

Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)
78% match

Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)

Springer

£162.62 08 Aug 2026
Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)
78% match

Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)

Springer

£150.07 06 Aug 2026
Language, Truth and Logic in Mathematics: 3 (Jaakko Hintikka Selected Papers, 3)
78% match

Language, Truth and Logic in Mathematics: 3 (Jaakko Hintikka Selected Papers, 3)

Springer

£108.01 04 Aug 2026
A Logical Theory of Nonmonotonic Inference and Belief Change (Artificial Intelligence)
78% match

A Logical Theory of Nonmonotonic Inference and Belief Change (Artificial Intelligence)

Springer

£108.01 08 Aug 2026
Reasoning with Rough Sets: Logical Approaches to Granularity-Based Framework: 142 (Intelligent Systems Reference Library, 142)
78% match

Reasoning with Rough Sets: Logical Approaches to Granularity-Based Framework: 142 (Intelligent Systems Reference Library, 142)

Springer

£81.54 06 Aug 2026
Revision, Acceptability and Context: Theoretical and Algorithmic Aspects (Cognitive Technologies)
78% match

Revision, Acceptability and Context: Theoretical and Algorithmic Aspects (Cognitive Technologies)

Springer

£108.01 08 Aug 2026
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today: 3 (Logic, Epistemology, and the Unity of Science, 3)
77% match

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today: 3 (Logic, Epistemology, and the Unity of Science, 3)

Springer

£121.05 08 Aug 2026
Belief Change: 3 (Handbook of Defeasible Reasoning and Uncertainty Management Systems, 3)
77% match

Belief Change: 3 (Handbook of Defeasible Reasoning and Uncertainty Management Systems, 3)

Springer

£146.83 08 Aug 2026
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)
77% match

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)

Springer

£166.52 08 Aug 2026
Handbook of Philosophical Logic: 3
77% match

Handbook of Philosophical Logic: 3

Springer

£111.17 05 Aug 2026
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles
77% match

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

Routledge

£42.75 06 Aug 2026
Handbook of Philosophical Logic: Volume 16
77% match

Handbook of Philosophical Logic: Volume 16

Springer

£109.82 04 Aug 2026
Partial Covers, Reducts and Decision Rules in Rough Sets: Theory and Applications: 145 (Studies in Computational Intelligence, 145)
77% match

Partial Covers, Reducts and Decision Rules in Rough Sets: Theory and Applications: 145 (Studies in Computational Intelligence, 145)

Springer

£74.23 07 Aug 2026
Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)
77% match

Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)

Springer

£108.01 06 Aug 2026
Cambridge Logical Foundations of Proof Complexity Book
77% match

Cambridge Logical Foundations of Proof Complexity Book

Cambridge University Press

£93.28 05 Sep 2026
Applications of Logic Databases: 296 (The Springer International Series in Engineering and Computer Science, 296)
77% match

Applications of Logic Databases: 296 (The Springer International Series in Engineering and Computer Science, 296)

Springer

£109.67 06 Aug 2026
Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)
76% match

Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)

Birkhauser

£76.42 06 Aug 2026
Many-Valued Logics 1: Theoretical Foundations
76% match

Many-Valued Logics 1: Theoretical Foundations

Springer

£77.37 14 Aug 2026
Many-Valued Logics 1: Theoretical Foundations
76% match

Many-Valued Logics 1: Theoretical Foundations

Springer

£76.42 05 Aug 2026
Logics for Computer Science: Classical and Non-Classical
76% match

Logics for Computer Science: Classical and Non-Classical

Springer

£83.06 08 Aug 2026
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)
76% match

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)

Springer

£109.08 08 Aug 2026
Fuzzy Sets, Logics and Reasoning about Knowledge: 15 (Applied Logic Series, 15)
76% match

Fuzzy Sets, Logics and Reasoning about Knowledge: 15 (Applied Logic Series, 15)

Springer

£108.01 07 Aug 2026
Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines: 24 (Studies in Computational Intelligence, 24)
76% match

Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines: 24 (Studies in Computational Intelligence, 24)

Springer

£108.01 08 Aug 2026
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)
76% match

Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)

Springer

£73.85 05 Sep 2026