{"product_id":"rcalculus-ii-manyvalued-logics-9789811692963","title":"R-Calculus, II: Many-Valued Logics","description":"\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003e\n\u003cbr\u003eThe R-calculus is a Gentzen-type deduction system that combines a monotonic tableau proof system with a non-monotonic one. It is a concrete belief revision operator that satisfies the AGM and DP postulates. This book discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics, making it suitable for students, researchers, and practitioners in logic. It is also useful for those interested in data, digitization, correctness, and consistency of information, modal logics, non-monotonic logics, decidable\/undecidable logics, logic programming, description logics, default logics, and semantic inheritance networks. \u003c\/blockquote\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 271 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 15 April 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer Verlag, Singapore\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cbr\u003eThis second volume in the book series delves into the fascinating world of R-calculus, a remarkable blend of monotonic and non-monotonic tableau proof systems. The R-calculus stands as a Gentzen-type deduction system, characterized by its non-monotonic nature, and serves as a concrete belief revision operator that adheres to the AGM (Abstract Gentzen Modal) postulates and the DP (Deontic Modal) postulates. It explores the intricate algebraical and logical properties of tableau proof systems and R-calculi within the realm of many-valued logics.\u003cbr\u003e\u003cbr\u003eThe book is a valuable resource for students, researchers, and practitioners alike, offering a comprehensive exploration of the field. It caters to a wide range of interests, including those in logic, data, digitization, correctness, consistency, modal logics, non-monotonic logics, decidable\/undecidable logics, logic programming, description logics, default logics, and semantic inheritance networks.\u003cbr\u003e\u003cbr\u003eWithin its pages, readers will find a wealth of knowledge and insights. The text begins by introducing the fundamental concepts and principles of R-calculus, providing a solid foundation for further exploration. It then delves into the theoretical aspects, discussing the algebraic and logical properties of tableau proof systems and R-calculi. The book explores various applications and practical scenarios, showcasing the power and versatility of R-calculus in various domains.\u003cbr\u003e\u003cbr\u003eWith its clear and concise writing style, the book is accessible to a broad audience, including those with limited background in logic. It offers comprehensive explanations, examples, and exercises to reinforce the learning process. The book also includes a comprehensive bibliography and references for further reading, allowing readers to delve deeper into the subject matter.\u003cbr\u003e\u003cbr\u003eIn conclusion, this second volume of the book series on R-calculus is a must-read for anyone interested in logic, data, and their applications. It provides a comprehensive and up-to-date introduction to the field, covering both theoretical and practical aspects. The book's rich content, clear writing style, and extensive references make it an invaluable resource for students, researchers, and practitioners alike.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 444g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9789811692963\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2022\u003c\/p\u003e","brand":"Wei Li,Yuefei Sui","offers":[{"title":"Paperback \/ softback","offer_id":44307635962106,"sku":"9789811692963","price":108.28,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/noImage_1_4c823e25-7573-4b59-aed5-5e0b0ac05302.jpg?v=1688110722","url":"https:\/\/shulphink.com\/products\/rcalculus-ii-manyvalued-logics-9789811692963","provider":"Shulph Ink","version":"1.0","type":"link"}