R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Books - Springer Verlag, Singapore - 9789811942693 - November 20, 2022
In case cover and title do not match, the title is correct

R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution 1st ed. 2022 edition

Wei Li

R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution 1st ed. 2022 edition

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.


273 pages, 1 Illustrations, color; 2 Illustrations, black and white; XII, 273 p. 3 illus., 1 illus.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released November 20, 2022
ISBN13 9789811942693
Publishers Springer Verlag, Singapore
Pages 273
Dimensions 600 g

Show all

More by Wei Li