Siirry suoraan sisältöön
R-Calculus, III: Post Three-Valued Logic
Tallenna

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
Sivumäärä
273