Title:
|
R-CALCULUS, III: POST THREE-VALUED LOGIC
|
By: |
Wei Li |
Format: |
Paperback / softback |
List price:
|
£149.99 |
Our price: |
£131.24 |
Discount: |
|
You save:
|
£18.75 |
|
|
|
|
ISBN 10: |
9811942722 |
ISBN 13: |
9789811942723 |
Availability: |
Usually dispatched within 1-3 weeks.
Delivery
rates
|
Stock: |
Currently 0 available |
Publisher: |
SPRINGER VERLAG, SINGAPORE |
Pub. date: |
21 November, 2023 |
Edition: |
1st ed. 2022 |
Series: |
Perspectives in Formal Induction, Revision and Evolution |
Pages: |
273 |
Description: |
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. |
Illustrations: |
1 Illustrations, color; 2 Illustrations, black and white; XII, 273 p. 3 illus., 1 illus. in color. |
Returns: |
Returnable |