R-Calculus, VI: Finite Injury Priority Method - Li, Wei; Sui, Yuefei; - Prospero Internet Bookshop

R-Calculus, VI: Finite Injury Priority Method
 
Product details:

ISBN13:9789819758296
ISBN10:9819758297
Binding:Hardback
No. of pages:228 pages
Size:235x155 mm
Language:English
Illustrations: 2 Illustrations, black & white; 1 Illustrations, color
691
Category:

R-Calculus, VI: Finite Injury Priority Method

 
Edition number: 2024
Publisher: Springer
Date of Publication:
Number of Volumes: 1 pieces, Book
 
Normal price:

Publisher's listprice:
EUR 160.49
Estimated price in HUF:
69 765 HUF (66 442 HUF + 5% VAT)
Why estimated?
 
Your price:

55 811 (53 154 HUF + 5% VAT )
discount is: 20% (approx 13 953 HUF off)
Discount is valid until: 31 December 2024
The discount is only available for 'Alert of Favourite Topics' newsletter recipients.
Click here to subscribe.
 
Availability:

Estimated delivery time: In stock at the publisher, but not at Prospero's office. Delivery time approx. 3-5 weeks.
Not in stock at Prospero.
Can't you provide more accurate information?
 
  Piece(s)

 
Short description:

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, B(2/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. 

Long description:

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. 



 

Table of Contents:

Introduction.- Finite injury priority method.- Binary-valued first-order logic. - R-calculus for L3-valued first-order logic.- R-calculus for B2 2 -valued FOL.- R-calculus for L4-valued FOL.- Default logic: finite injury priority method.- Default logic: tree construction.