R-Calculus, IV: Propositional Logic

Yuefei Sui, Wei Li

PDF
ca. 181,89

Springer Nature Singapore img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Informatik

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. 

Weitere Titel in dieser Kategorie
Cover AI Glossary
Richard Khan
Cover AI Glossary
Richard Khan
Cover Quantum Security
Christopher Murphy
Cover Causal Inference for Data Science
Aleix Ruiz de Villa Robert

Kundenbewertungen

Schlagwörter

Tableau Proof System, Axiomatic Deduction System, Belief Revision, Gentzen Deduction System, Natural Deduction System, Soundness, AGM Postulates, R-calculus, Propositional Logic, Completeness