Get Free Shipping on orders over $79
R-Calculus, IV : Propositional Logic - Wei Li

R-Calculus, IV

Propositional Logic

By: Wei Li, Yuefei Sui

Hardcover | 29 March 2023

At a Glance

Hardcover


$259.01

or 4 interest-free payments of $64.75 with

 or 

Ships in 5 to 7 business 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. 

More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$70.75

Computable Structure Theory : Beyond the Arithmetic - Antonio Montalbán

RRP $230.95

$201.99

13%
OFF
Fuzzy Logic : An Introductory Text - Lukas Brooks
Modern Mathematical Logic - Agustin Willmott
REFLECTIONS : THE MAGIC, MUSIC & MATH OF RAYMOND SMULLYAN - SMULLYAN RAYMOND
MAGIC GARDEN OF GEORGE B AND OTHER LOGIC PUZZLES, THE - SMULLYAN RAYMOND
What Is Mathematical Logic 2E Cloth - Guillermo Badia