-
Anglický jazyk
R-Calculus, VI: Finite Injury Priority Method
Autor: Yuefei Sui
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
148.49 €
bežná cena: 164.99 €
O knihe
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.
- Vydavateľstvo: Springer Nature Singapore
- Rok vydania: 2024
- Formát: Hardback
- Rozmer: 241 x 160 mm
- Jazyk: Anglický jazyk
- ISBN: 9789819758296
