Erschienen: 29.10.2024 Abbildung von Li / Sui | R-Calculus, VI: Finite Injury Priority Method | 1. Auflage | 2024 | beck-shop.de

Neu Erschienen: 29.10.2024

Li / Sui

R-Calculus, VI: Finite Injury Priority Method

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Rezensionen ansehen

Standardpreis

ca. 160,49 €

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

auch verfügbar als eBook (PDF) für 149,79 €

Fachbuch

Buch. Hardcover

2024

xii, 228 S. 2 s/w-Abbildungen, 1 Farbabbildung, Bibliographien.

In englischer Sprache

Springer. ISBN 9789819758296

Format (B x L): 15,5 x 23,5 cm

Das Werk ist Teil der Reihe: Perspectives in Formal Induction, Revision and Evolution

Produktbeschreibung

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.