R-Calculus, IV: Propositional Logic
Yuefei Sui, Wei Li
PDF
ca. 181,89 €
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 von diesem Autor
Weitere Titel in dieser Kategorie
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