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

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.