Get Free Shipping on orders over $79
R-Calculus, III : Post Three-Valued Logic - Wei Li
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

R-Calculus, III

Post Three-Valued Logic

By: Wei Li, Yuefei Sui

Hardcover | 20 November 2022

At a Glance

Hardcover


$259.01

or 4 interest-free payments of $64.75 with

 or 

Ships in 7 to 10 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 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)

More in Mathematical Logic

Kakuro Book 2 : 200 mathematical logic puzzles - The Times Mind Games
Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz
Logic For Dummies : For Dummies - Mark Zegarelli

RRP $41.95

$33.75

20%
OFF
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$70.75

Fuzzy Logic : An Introductory Text - Lukas Brooks