R-Calculus, II: Many-Valued Logics

by Wei Li and Yuefei Sui

Book Overview

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type 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. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics.

This...

• Format: Paperback
• Language: English
• ISBN: 9811692963
• ISBN13: 9789811692963
• Release Date: April 2023
• Publisher: Springer
• Length: 271 Pages
• Weight: 0.90 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"