{"product_id":"r-calculus-iii-post-three-valued-logic-springer-verlag-singapore-9789811942693-wei-li","title":"R-Calculus, III: Post Three-Valued Logic","description":"\u003cp\u003eThis 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.\u003c\/p\u003e","brand":"Wei Li","offers":[{"title":"Default Title","offer_id":52262873956694,"sku":"9789811942693","price":181.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789811942693.jpg?v=1767794462","url":"https:\/\/www.englishbook.pt\/products\/r-calculus-iii-post-three-valued-logic-springer-verlag-singapore-9789811942693-wei-li","provider":"Bookshop","version":"1.0","type":"link"}