
R-Calculus, III: Post Three-Valued Logic
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.
- Kirjailija
- Wei Li, Yuefei Sui
- Painos
- 2022 ed.
- ISBN
- 9789811942693
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 20.11.2022
- Kustantaja
- SPRINGER VERLAG, SINGAPORE
- Sivumäärä
- 273