{"product_id":"r-calculus-iii-wei-li-9789811942693","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. In this book, R-calculus is taken as Tableau-based\/sequent-based\/multisequent-based to preserve the satisfiability of the Theory\/sequent\/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. \u003c\/p\u003e\u003cp\u003e \u003c\/p\u003e\u003cp\u003eThis book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Wei Li,Yuefei Sui\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 9811942692\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9789811942693\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 11\/20\/2022\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 273\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.28lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.69d","brand":"Wei Li","offers":[{"title":"Hardcover","offer_id":48519920845055,"sku":"9789811942693","price":199.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_3c4f575c-7d83-47f3-9ce1-2f8779feb4d6.jpg?v=1778739629","url":"https:\/\/www.whiterainbookhouse.com\/products\/r-calculus-iii-wei-li-9789811942693","provider":"WR Book House","version":"1.0","type":"link"}