R-Calculus, VI : Finite Injury Priority Method - Wei Li

R-Calculus, VI

Finite Injury Priority Method

By: Wei Li, Yuefei Sui

Hardcover | 2 December 2024

At a Glance

Hardcover


$264.27

or 4 interest-free payments of $66.07 with

 or 

Aims to ship in 7 to 10 business days

This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-order logics, and extend the method to infinite injury priority method and 0"-method for default logic to produce pseudo-extensions of a default theory, corresponding to different R-calculi. Finite injury priority method and tree constructions are discussed in this book. 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

Partial Truths : How Fractions Distort Our Thinking - James C. Zimring
Limitless Mind : Learn, Lead and Live Without Barriers - Jo Boaler
Polygraphs : From Rewriting to Higher Categories - Albert  Burroni

RRP $173.95

$149.75

14%
OFF