R-Calculus, VI: Finite Injury Priority Method
Inbunden, Engelska, 2024
Av Wei Li, Yuefei Sui
2 209 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2024-10-29
- Mått155 x 235 x 19 mm
- Vikt530 g
- SpråkEngelska
- SeriePerspectives in Formal Induction, Revision and Evolution
- Antal sidor228
- FörlagSpringer Verlag, Singapore
- EAN9789819758296