1 option
R-Calculus, VI: Finite Injury Priority Method / by Wei Li, Yuefei Sui.
Springer Nature - Springer Computer Science (R0) eBooks 2025 English International Available online
View online- Format:
- Book
- Author/Creator:
- Li, Wei.
- Series:
- Perspectives in Formal Induction, Revision and Evolution, 2731-3697
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Logic programming.
- Computer science--Mathematics.
- Computer science.
- Mathematical models.
- Mathematical Logic and Foundations.
- Logic in AI.
- Mathematics of Computing.
- Mathematical Modeling and Industrial Mathematics.
- Local Subjects:
- Mathematical Logic and Foundations.
- Logic in AI.
- Mathematics of Computing.
- Mathematical Modeling and Industrial Mathematics.
- Physical Description:
- 1 online resource (234 pages)
- Edition:
- 1st ed. 2025.
- Place of Publication:
- Singapore : Springer Nature Singapore : Imprint: Springer, 2025.
- Summary:
- 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. .
- 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.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 981-9758-30-0
- OCLC:
- 1470854629
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.