Gå direkt till innehållet
R-Calculus, III: Post Three-Valued Logic
Spara

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.

Författare
Wei Li, Yuefei Sui
Upplaga
2022 ed.
ISBN
9789811942723
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2023-11-21
Sidor
273