R-Calculus, III: Post Three-Valued Logic

Wei Li author Yuefei Sui author

Format:Hardback

Publisher:Springer Verlag, Singapore

Published:20th Nov '22

Currently unavailable, and unfortunately no date known when it will be back

This hardback is available in another edition too:

R-Calculus, III: Post Three-Valued Logic cover

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

This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. 

“The book offers a systematic and comprehensive approach to addressing three-valued logic within the framework of Post's logic. … Potential readers should be aware of the book's density. While it offers comprehensive coverage and depth, the presentation of results is notably succinct.” (Nino Guallart, Mathematical Reviews, January, 2025)

“The book is well-structured and provides a detailed exploration of the subject matter. It appears to be a valuable resource for those interested in the field of logic and belief revision.” (Albert Hoogewijs, zbMATH 1525.03001, 2024)

ISBN: 9789811942693

Dimensions: unknown

Weight: unknown

273 pages

2022 ed.