R-Calculus, III

Post Three-Valued Logic

By: Wei Li, Yuefei Sui

Write A Review

Hardcover | 20 November 2022

At a Glance

Hardcover
288 Pages

Dimensions(cm)
23.39 x 15.6 x 1.75

Hardcover

$426.75

or 4 interest-free payments of $106.69 with

or

Ships in 10 to 15 business days

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.

Industry Reviews

“The book offers a systematic and comprehensive approach to addressing three-valued logic within the framework of Post's logic. … Potential readers should be aware of the book's density. While it offers comprehensive coverage and depth, the presentation of results is notably succinct.” (Nino Guallart, Mathematical Reviews, January, 2025)

“The book is well-structured and provides a detailed exploration of the subject matter. It appears to be a valuable resource for those interested in the field of logic and belief revision.” (Albert Hoogewijs, zbMATH 1525.03001, 2024)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.