Perspectives in Formal Induction, Revision and Evolution

Li, Wei; Sui, Yuefei

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. 

Details

Published by: Springer

Publication Date: 2025-10-30

Format: Paperback

ISBN-13: 9789819758326

DOI: 10.1007/978-981-97-5830-2

Dimensions: 235cm x155cm

Pages: 228