Weitere Formate
Hardcover - 9789811942693
181,89 €
Autorenfreundlich Bücher kaufen?!
Beschreibung
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given.
This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
Details
| Verlag | Springer Singapore |
| Ersterscheinung | November 2023 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 441 Gramm |
| Format | Softcover |
| ISBN-13 | 9789811942723 |
| Auflage | 1st edition 2022 |
| Seiten | 273 |
Schlagwörter
Formal Languages and Automata Theory, Künstliche Intelligenz, Logic in AI, Mathematical Logic and Foundations, Mathematical Modeling and Industrial Mathematics, Mathematics of Computing, Mathematik für Informatiker, Mathematik für Ingenieure, Mathematik: Logik, Mathematische Grundlagen, Mathematische Modellierung, Theoretische Informatik
Bekannt durch
