R-Calculus, II: Many-Valued Logics
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...
Main Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Singapore
Springer Nature Singapore
2022, 2022
|
Edition: | 1st ed. 2022 |
Series: | Perspectives in Formal Induction, Revision and Evolution
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Introduction
- R-Calculus For Propositional Logic
- R-Calculus For L3-Valued Propositional Logic
- R-Calculus For L3-Valued PL,II
- R-Calculus For B22-Valued PL
- R-Calculus For B22-Valued PL,II
- Complementary R-Calculus For PL
- Multisequents and Hypersequents
- Product of Two R-Calculi
- Sum of Two R-Calculi