0
Your cart

Your cart is empty

Books

Buy Now

R-Calculus, IV: Propositional Logic (Hardcover, 1st ed. 2023) Loot Price: R4,586
Discovery Miles 45 860
R-Calculus, IV: Propositional Logic (Hardcover, 1st ed. 2023): Wei Li, Yuefei Sui

R-Calculus, IV: Propositional Logic (Hardcover, 1st ed. 2023)

Wei Li, Yuefei Sui

Series: Perspectives in Formal Induction, Revision and Evolution

 (sign in to rate)
Loot Price R4,586 Discovery Miles 45 860 | Repayment Terms: R430 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working days

This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also 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

Imprint: Springer Verlag, Singapore
Country of origin: Singapore
Series: Perspectives in Formal Induction, Revision and Evolution
Release date: March 2023
Firstpublished: 2023
Authors: Wei Li • Yuefei Sui
Dimensions: 235 x 155mm (L x W)
Format: Hardcover
Pages: 252
Edition: 1st ed. 2023
ISBN-13: 978-981-19-8632-1
Categories: Books
LSN: 981-19-8632-0
Barcode: 9789811986321

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!

Partners