R-Calculus, II: Many-Valued Logics

The 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.

Format: Paperback / softback
Length: 271 pages
Publication date: 15 April 2023
Publisher: Springer Verlag, Singapore

This 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.

The 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.

Within 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.

With 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.

In 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.

Weight: 444g
Dimension: 235 x 155 (mm)
ISBN-13: 9789811692963
Edition number: 1st ed. 2022