Gå direkte til innholdet
R-Calculus, III: Post Three-Valued Logic
Spar

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.

Forfatter
Wei Li, Yuefei Sui
Opplag
2022 ed.
ISBN
9789811942723
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
21.11.2023
Antall sider
273