• 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, II: Many-Valued Logics

R-Calculus, II: Many-Valued Logics

Hardcover

Series: Perspectives in Formal Induction, Revision and Evolution

FictionGeneral ComputersGeneral Mathematics

ISBN10: 9811692939
ISBN13: 9789811692932
Publisher: Springer Nature
Published: Apr 13 2022
Pages: 271
Weight: 1.28
Height: 0.69 Width: 6.14 Depth: 9.21
Language: English

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.

1 different editions

Also available

Also from

Li, Wei

Also in

Fiction