R-Calculus, IV: Propositional Logic
Wei Li author Yuefei Sui author
Format:Hardback
Publisher:Springer Verlag, Singapore
Published:29th Mar '23
Currently unavailable, and unfortunately no date known when it will be back
![R-Calculus, IV: Propositional Logic cover](https://cdn.theportobellobookshop.com/img/9789811986321.jpg)
This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given.
This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
“Propositional logic serves as the foundation for the development of first-order logic and modal logic. … The authors explore multiple systems of deductive calculus for propositional logic in this book. … prospective readers should note the density of this book. While it maintains the thoroughness and depth characteristic of previous volumes, the presentation of findings is notably concise.” (Nino Guallart, Mathematical Reviews, January, 2025)
ISBN: 9789811986321
Dimensions: unknown
Weight: unknown
252 pages
2023 ed.