R-Calculus, III: Post Three-Valued Logic
Wei Li, Yuefei Sui
Springer Verlag, Singapore, 2023
198,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9789811942723
- ISBN-10
- 9811942722
- Publisher
- Springer Verlag, Singapore
- Year
- 2023
- Publication date
- 2023-11-21
- Pages
- 273
- Dimensions
- 235x155x