R-calculus, iii: post three-valued logic
Auteur :
Li, Wei / Sui, Yuefei
Éditeur :
Springer Verlag, Singapore
ISBN :
9789811942723
Date de publication :
21 nov. 2023
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Singapour
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.