R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Books - Springer Verlag, Singapore - 9789811942723 - November 21, 2023
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 2022 edition

Wei Li

Price
SEK 1,679
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 21 - Dec 3
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution 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     Paperback Book   (Book with soft cover and glued back)
Released November 21, 2023
ISBN13 9789811942723
Publishers Springer Verlag, Singapore
Pages 273
Dimensions 150 × 220 × 10 mm   ·   408 g
Language English  
Show all

More by Wei Li

See all of Wei Li ( e.g. Hardcover Book , Paperback Book , Book and CD )