R-Calculus, VI: Finite Injury Priority Method
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 lo...
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Yhteisötekijä: | |
| Aineistotyyppi: | Elektroninen E-kirja |
| Kieli: | englanti |
| Julkaistu: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2025.
|
| Painos: | 1st ed. 2025. |
| Sarja: | Perspectives in Formal Induction, Revision and Evolution,
|
| Aiheet: | |
| Linkit: | https://doi.org/10.1007/978-981-97-5830-2 |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-981-97-5830-2 | ||
| 003 | DE-He213 | ||
| 005 | 20260706121132.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 241029s2025 si | s |||| 0|eng d | ||
| 020 | |a 9789819758302 |9 978-981-97-5830-2 | ||
| 024 | 7 | |a 10.1007/978-981-97-5830-2 |2 doi | |
| 050 | 4 | |a QA8.9-10.3 | |
| 072 | 7 | |a PBCD |2 bicssc | |
| 072 | 7 | |a PBC |2 bicssc | |
| 072 | 7 | |a MAT018000 |2 bisacsh | |
| 072 | 7 | |a PBCD |2 thema | |
| 072 | 7 | |a PBC |2 thema | |
| 082 | 0 | 4 | |a 511.3 |2 23 |
| 100 | 1 | |a Li, Wei. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 245 | 1 | 0 | |a R-Calculus, VI: Finite Injury Priority Method |h [electronic resource] / |c by Wei Li, Yuefei Sui. |
| 250 | |a 1st ed. 2025. | ||
| 264 | 1 | |a Singapore : |b Springer Nature Singapore : |b Imprint: Springer, |c 2025. | |
| 300 | |a XII, 228 p. 3 illus., 1 illus. in color. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 341 | 0 | |b Table of contents navigation |2 onix | |
| 341 | 0 | |b Single logical reading order |2 onix | |
| 341 | 0 | |b Short alternative textual descriptions |2 onix | |
| 341 | 0 | |b Use of color is not sole means of conveying information |2 onix | |
| 341 | 0 | |b Use of high contrast between text and background color |2 onix | |
| 341 | 0 | |b Next / Previous structural navigation |2 onix | |
| 341 | 0 | |b All non-decorative content supports reading without sight |2 onix | |
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Perspectives in Formal Induction, Revision and Evolution, |x 2731-3697 | |
| 505 | 0 | |a 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. | |
| 520 | |a 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. . | ||
| 532 | 8 | |a Accessibility summary: This PDF does not fully comply with PDF/UA standards, but does feature limited screen reader support, described non-text content (images, graphs), bookmarks for easy navigation and searchable, selectable text. Users of assistive technologies may experience difficulty navigating or interpreting content in this document. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. | |
| 532 | 8 | |a No reading system accessibility options actively disabled | |
| 532 | 8 | |a Publisher contact for further accessibility information: accessibilitysupport@springernature.com | |
| 650 | 0 | |a Mathematical logic. | |
| 650 | 0 | |a Logic programming. | |
| 650 | 0 | |a Computer science |x Mathematics. | |
| 650 | 0 | |a Mathematical models. | |
| 650 | 1 | 4 | |a Mathematical Logic and Foundations. |
| 650 | 2 | 4 | |a Logic in AI. |
| 650 | 2 | 4 | |a Mathematics of Computing. |
| 650 | 2 | 4 | |a Mathematical Modeling and Industrial Mathematics. |
| 700 | 1 | |a Sui, Yuefei. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9789819758296 |
| 776 | 0 | 8 | |i Printed edition: |z 9789819758319 |
| 776 | 0 | 8 | |i Printed edition: |z 9789819758326 |
| 830 | 0 | |a Perspectives in Formal Induction, Revision and Evolution, |x 2731-3697 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-981-97-5830-2 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-251 | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Focus Bundle Mathematics and Statistics (SpringerNature-85421) | ||