10% OFF

R-Calculus, Iii: Post Three-Valued Logic

by Yuefei Sui e Wei Li
language: english
Publisher: SPRINGER VERLAG, SINGAPORE, November of 2022 ‧
202,77€
10% OFF CARD
free shipping
Sell ​​your book
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

by Yuefei Sui e Wei Li

Property Description
ISBN: 9789811942693
Publisher: SPRINGER VERLAG, SINGAPORE
Release Date: November of 2022
Language: English
Dimensions: 155 x 235 x 20 mm
Cover: Hardcover
Pages: 273
Format: Book
Collection: Perspectives In Formal Induction, Revision And Evolution
Categories: Books in English > Science > Mathematics
Books in English > Others
EAN: 9789811942693

BOOKS FROM THE SAME COLLECTION