R-Calculus, III: Post Three-Valued Logic [E-Book] / by Wei Li, Yuefei Sui.
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/multisequ...
Saved in:
Full text |
|
Personal Name(s): | Li, Wei, author |
Sui, Yuefei, author | |
Edition: |
1st edition 2022. |
Imprint: |
Singapore :
Springer,
2022
|
Physical Description: |
XII, 273 pages 3 illustrations, 1 illustration in color (online resource) |
Note: |
englisch |
ISBN: |
9789811942709 |
DOI: |
10.1007/978-981-19-4270-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
- Many-Placed Sequents
- Modalized Three-Valued Logics
- Post three-valued logic
- R-Calculi for Post Three-valued logic
- Post Three-valued description logic
- R-calculi for Post three-valued description logic
- R-calculi for corner multisequents
- General multisequents
- R-calculi for general multisequents.