• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
R-Calculus, III: Post Three-Valued Logic

R-Calculus, III: Post Three-Valued Logic

Hardcover

Series: Perspectives in Formal Induction, Revision and Evolution

FictionGeneral ComputersGeneral Mathematics

ISBN10: 9811942692
ISBN13: 9789811942693
Publisher: Springer Nature
Published: Nov 20 2022
Pages: 273
Weight: 1.28
Height: 0.69 Width: 6.14 Depth: 9.21
Language: English

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.

1 different editions

Also available

Also from

Li, Wei

Also in

Fiction