£122.77

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

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

View at Amazon

Price History & Forecast

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)
96% match

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

£107.32 09 Jan 2026
R-Calculus, IV: Propositional Logic (Perspectives in Formal Induction, Revision and Evolution)
94% match

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

£124.30 01 Feb 2026
Springer R-Calculus, IV: Propositional Logic Book
94% 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)
93% match

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

£137.87 14 Jan 2026
Displaying Modal Logic: 3 (Trends in Logic, 3)
92% match

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

Springer

£99.53 05 Mar 2026
Propositional Logics Third Edition
92% match

Propositional Logics Third Edition

Advanced Reasoning Forum

£37.39 16 Feb 2026
R-Calculus, VI: Finite Injury Priority Method (Perspectives in Formal Induction, Revision and Evolution)
92% match

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

Springer

£106.17 09 Mar 2026
Displaying Modal Logic: 3 (Trends in Logic, 3)
92% match

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

Springer

£105.95 07 Mar 2026
Three-valued paraconsistent logics and their extensions: Three-valued paraconsistent logics
91% match

Three-valued paraconsistent logics and their extensions: Three-valued paraconsistent logics

£199.30 06 Feb 2026
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
91% match

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

CRC Press

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

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

Springer

£99.53 05 Mar 2026
Functional Interpretation Of Logical Deduction, The
91% match

Functional Interpretation Of Logical Deduction, The

World Scientific Publishing Company

£69.00 07 Mar 2026
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE: 5 (Advances In Logic)
91% match

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

World Scientific Publishing Company

£58.86 03 Mar 2026
Gentzen's Logical Calculi: (the theory pamphlet) (SpringerBriefs in Philosophy)
91% match

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

Springer

£44.99 10 Mar 2026
Logic of Arithmetic: 03 (Lectures on Mathematical Logic)
91% match

Logic of Arithmetic: 03 (Lectures on Mathematical Logic)

CRC Press

£102.43 18 Feb 2026
Mathematical Logic for Computer Science
90% match

Mathematical Logic for Computer Science

Springer

£44.25 15 Feb 2026
Propositional and Predicate Calculus: A Model of Argument
90% match

Propositional and Predicate Calculus: A Model of Argument

Springer

£52.01 14 Jan 2026
Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)
90% match

Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)

Springer

£118.26 09 Dec 2025
Logic and Language Models for Computer Science: Third Edition
90% match

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

£56.56 13 Apr 2026
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
90% match

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Elsevier

£95.00 20 Feb 2026
The Calculus of Computation: Decision Procedures with Applications to Verification
90% match

The Calculus of Computation: Decision Procedures with Applications to Verification

Springer

£59.19 11 Feb 2026
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
90% match

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Oxford University Press

£68.02 17 Mar 2026
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles
90% match

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

£84.63 10 Jan 2026