R-Calculus, II: Many-Valued Logics [E-Book] / by Wei Li, Yuefei Sui.
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...
Saved in:
Full text |
|
Personal Name(s): | Li, Wei, author |
Sui, Yuefei, author | |
Edition: |
1st edition 2022. |
Imprint: |
Singapore :
Springer,
2022
|
Physical Description: |
XIII, 271 pages 6 illustrations, 1 illustration in color (online resource) |
Note: |
englisch |
ISBN: |
9789811692949 |
DOI: |
10.1007/978-981-16-9294-9 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Perspectives in Formal Induction, Revision and Evolution
|
Subject (LOC): |
- 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.