Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada R-Calculus, III: Post Three-Valued Logic
Type
Physical Book
Publisher
Language
English
Pages
273
Format
Hardcover
Dimensions
23.4x15.6x1.8 cm
Weight
0.58 kg.
ISBN13
9789811942693

R-Calculus, III: Post Three-Valued Logic

Wei Li (Author) · Yuefei Sui (Author) · Springer · Hardcover

R-Calculus, III: Post Three-Valued Logic - Li, Wei ; Sui, Yuefei

Cheaper New Book Imported to Netherlands
Delivery: 15 Oct - 22 Oct Shipping: 14 to 18 business days.
€ 172,55
Faster New Book Imported to Netherlands
Delivery: 02 Oct - 06 Oct Shipping: 5 to 6 business days.
€ 207,32
Import costs and 9% BTW included in the price ✅
€ 172,55

Synopsis "R-Calculus, III: Post Three-Valued Logic"

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.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews