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: Hardback
Length: 271 pages
Publication date: 13 April 2022
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 meets the stringent AGM and DP postulates. It explores the algebraical and logical properties of tableau proof systems and R-calculi within the realm of many-valued logics.

Packed with insightful knowledge, this book caters to a diverse audience, including students, researchers, and practitioners in the field of logic. Its practical applications extend to 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.

The book is organized into well-structured chapters, each dedicated to exploring different aspects of R-calculus and its applications. It begins by introducing the fundamental concepts and principles of R-calculus, including tableau systems, Gentzen-style deduction, and belief revision. The authors then delve into the algebraic and logical properties of tableau proof systems and R-calculi, discussing their relationship with many-valued logics.

Furthermore, the book explores the practical implications of R-calculus in various domains. It discusses the use of R-calculi for reasoning about data and information, including the development of formal verification methods and the analysis of complex systems. The authors also discuss the application of R-calculus in logic programming, description logics, default logics, and semantic inheritance networks.

Throughout the text, the authors provide clear and concise explanations, accompanied by illustrative examples and exercises. They address various challenges and open research topics related to R-calculus, encouraging further exploration and advancements in this field.

In conclusion, this second volume of the book series on R-calculus is a valuable resource for anyone interested in logic, computer science, and applied mathematics. It offers a comprehensive and up-to-date introduction to the theory and applications of R-calculus, providing a solid foundation for further study and research. Whether you are a student, researcher, or practitioner, this book will undoubtedly enhance your understanding and expertise in this exciting area of study.

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