R-Calculus, IV: Propositional Logic

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. 

List of contents

Introduction.- R-calculus for simplified propositional logics.- R-calculi for tableau/Gentzen deduction systems.- R-calculi RQ1Q2/RQ1Q2.- R-calculi RQ1iQ2j/RQ1iQ2j.- R-Calculi: RY1Q1iY2Q2j/RY1Q1iY2Q2j.- R-calculi for supersequents.- R-calculi for propositional logic.

Report

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) 

Product details

• Authors: Wei Li, Yuefei Sui
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 30.03.2024
• EAN: 9789811986352
• ISBN: 978-981-1986-35-2
• No. of pages: 252
• Dimensions: 155 mm x 14 mm x 235 mm
• Weight: 412 g
• Illustrations: XIII, 252 p. 2 illus., 1 illus. in color.
• Series: Perspectives in Formal Induction, Revision and Evolution
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT