This second volume of the book series shows R-calculus is a
combination of one monotonic tableau proof system and one
non-monotonic one. The R-calculus is a Gentzen-type 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.
It discusses the algebraical and logical properties of tableau proof
systems and R-calculi in many-valued logics. This book offers a rich
blend of theory and practice. It is suitable for students, researchers
and practitioners in the field of logic. Also it is very useful for
all those who are interested in data, digitization and correctness and
consistency of information, in modal logics, non monotonic logics,
decidable/undecidable logics, logic programming, description logics,
default logics and semantic inheritance networks.
Les mer
Produktdetaljer
ISBN
9789811692949
Publisert
2022
Utgiver
Vendor
Springer
Språk
Product language
Engelsk
Format
Product format
Digital bok
Forfatter