Name: R-Calculus, III: Post Three-Valued Logic
SKU: 59448675
Price: 5829.00 TWD
Availability: InStock
Author: Li, Wei ; Sui, Yuefei
ISBN: 9789811942693

Select your country

Americas

Europe

Rest of the world

portada R-Calculus, III: Post Three-Valued Logic

R-Calculus, III: Post Three-Valued Logic

Type

Physical Book

Author

Wei Li

Yuefei Sui

Publisher

Springer

Language

English

Pages

273

Format

Hardcover

Dimensions

23.4x15.6x1.8 cm

Weight

0.58 kg.

ISBN13

9789811942693

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

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

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

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

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

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery