R-Calculus, III: Post Three-Valued Logic

by Yuefei Sui and Wei Li

Book Overview

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...

• Format: Paperback
• Language: English
• ISBN: 9811942722
• ISBN13: 9789811942723
• Release Date: November 2023
• Publisher: Springer
• Length: 273 Pages
• Weight: 0.90 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"