Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

R-Calculus, III: Post Three-Valued Logic (Hardcover, 1st ed. 2022) Loot Price: R4,639
Discovery Miles 46 390
Repayment Terms: R435 pm x 12*
Add to cart
R-Calculus, III: Post Three-Valued Logic (Hardcover, 1st ed. 2022): Wei Li, Yuefei Sui

R-Calculus, III: Post Three-Valued Logic (Hardcover, 1st ed. 2022)

Wei Li, Yuefei Sui

Series: Perspectives in Formal Induction, Revision and Evolution

 (sign in to rate)
Loot Price R4,639 Discovery Miles 46 390 | Repayment Terms: R435 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer Verlag, Singapore
Country of origin: Singapore
Series: Perspectives in Formal Induction, Revision and Evolution
Release date: November 2022
First published: 2022
Authors: Wei Li • Yuefei Sui
Dimensions: 235 x 155mm (L x W)
Format: Hardcover
Pages: 273
Edition: 1st ed. 2022
ISBN-13: 978-981-19-4269-3
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Science & Mathematics > Mathematics > Mathematical foundations > General
Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematical modelling
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 981-19-4269-2
Barcode: 9789811942693

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!

You might also like..

Principia Mathematica (Hardcover): Russell Bertrand Russell
Principia Mathematica
Russell Bertrand Russell Hardcover R1,219 Discovery Miles 12 190
Principia Mathematica (Hardcover): Russell Bertrand Russell
Principia Mathematica
Russell Bertrand Russell Hardcover R1,257 Discovery Miles 12 570
Logic from Russell to Church, Volume 5 (Hardcover, 5th edition): Dov M. Gabbay, John Woods
Logic from Russell to Church, Volume 5
Dov M. Gabbay, John Woods Hardcover R5,271 Discovery Miles 52 710
Logic for Physicists (Paperback): Nicolas A Pereyra
Logic for Physicists
Nicolas A Pereyra Paperback R750 Discovery Miles 7 500
Mathematical Logic (Paperback): Ian Chiswell, Wilfrid Hodges
Mathematical Logic
Ian Chiswell, Wilfrid Hodges Paperback R2,113 Discovery Miles 21 130
Best Books gegradeerde leesreeks: Vlak 1 Boek 2: Gr 2: Leesboek - Huistaal (Afrikaans, Paperback): Best Books
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R108 Discovery Miles 1 080
Elements of Geometry Upon the Inductive Method (Paperback): James Hayward
Elements of Geometry Upon the Inductive…
James Hayward Paperback R462 Discovery Miles 4 620
Elementary Lessons in Logic - Deductive and Inductive: With Copious Questions and Examples and a Vocabulary of Logical Terms...
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R569 Discovery Miles 5 690
Models of Peano Arithmetic (Hardcover): Richard Kaye
Models of Peano Arithmetic
Richard Kaye Hardcover R4,933 Discovery Miles 49 330
The Facts Matter - Essays on Logic and Cognition in Honour of Rineke Verbrugge (Paperback): Sujata Ghosh
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R426 Discovery Miles 4 260
From Quantum Information to Musical Semantics (Paperback): Maria Luisa Dalla Chiara, Roberto Giuntini, Elenora Negri
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R522 Discovery Miles 5 220
A Practice Book In Arithmetic For The Second Year (Hardcover): Harriet E Sharpe
A Practice Book In Arithmetic For The…
Harriet E Sharpe Hardcover R760 Discovery Miles 7 600

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners