|
Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
R-Calculus, III: Post Three-Valued Logic (Hardcover, 1st ed. 2022)
Loot Price: R4,813
Discovery Miles 48 130
|
|
|
R-Calculus, III: Post Three-Valued Logic (Hardcover, 1st ed. 2022)
Series: Perspectives in Formal Induction, Revision and Evolution
Expected to ship within 12 - 17 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
