Overview
- Combines propositional logic and R-calculus for a new point of view to consider belief revision
- Gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming etc.
- Inspires theoretic computer scientists by showing how R-calculus is developed into a series of complicated theories
Part of the book series: Perspectives in Formal Induction, Revision and Evolution (PFIRE)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (8 chapters)
Keywords
About this book
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.
Authors and Affiliations
About the authors
Wei Li, is a Professor in the School of Computer Science and Engineering, Beihang University, Beijing, China and is a member of the Chinese Academy of Sciences. Prof. Li is mostly engaged in the applied research of Computer Software and Theory, and the Internet, including programming languages, software development, artificial intelligence, and integrated circuit design.
Yuefei Sui, is a Professor in the Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China. His main interests include knowledge representation, applied logic and the theory of computability.
Bibliographic Information
Book Title: R-Calculus, IV: Propositional Logic
Authors: Wei Li, Yuefei Sui
Series Title: Perspectives in Formal Induction, Revision and Evolution
DOI: https://doi.org/10.1007/978-981-19-8633-8
Publisher: Springer Singapore
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Science Press 2023
Hardcover ISBN: 978-981-19-8632-1Published: 29 March 2023
Softcover ISBN: 978-981-19-8635-2Published: 30 March 2024
eBook ISBN: 978-981-19-8633-8Published: 27 March 2023
Series ISSN: 2731-3689
Series E-ISSN: 2731-3697
Edition Number: 1
Number of Pages: XIII, 252
Number of Illustrations: 1 b/w illustrations, 1 illustrations in colour
Topics: Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Logic in AI, Mathematical Modeling and Industrial Mathematics, Mathematics of Computing