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.
R-Calculus, III: Post Three-Valued Logic
Preço normal
€181,87
Preço de saldo
€181,87
Preço normal
€187,49
Preço unitário/ por
Escolher uma seleção resulta numa atualização de página completa.
