R-Calculus, IV: Propositional Logic
Buch in deiner Nähe kaufen
Beschreibung
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.
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.
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
Autor*in
Wei Li
Themen in »R-Calculus, IV: Propositional Logic«
Belief Revision AGM Postulates R-calculus Gentzen Deduction System Soundness Completeness Tableau Proof System Propositional Logic Axiomatic Deduction System Natural Deduction System
Stimmen zu »R-Calculus, IV: Propositional 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)
()