Fortell venner om denne varen:
R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution 2022 edition
Wei Li
Pris
NOK 1.809
Bestillingsvarer
Forventes levert 25. nov - 3. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Finnes også som:
R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution 2022 edition
Wei Li
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates.
273 pages, 1 Illustrations, color; 2 Illustrations, black and white; XII, 273 p. 3 illus., 1 illus.
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 21. november 2023 |
| ISBN13 | 9789811942723 |
| Utgivere | Springer Verlag, Singapore |
| Antall sider | 273 |
| Mål | 150 × 220 × 10 mm · 408 g |
| Språk | Engelsk |
![Cover for Wei Li · R-Calculus, VI: Finite Injury Priority Method - Perspectives in Formal Induction, Revision and Evolution (Innbunden bok) [2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/296/9789819758296.jpg?wei-li-2024-r-calculus-vi-finite-injury-priority-method-perspectives-in-formal-induction-revision-and-evolution-innbunden-bok&class=scaled&v=1750959910)
![Cover for Wei Li · Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures (Innbunden bok) [2025 edition] (2024)](https://imusic.b-cdn.net/images/item/original/544/9789819772544.jpg?wei-li-2024-alternating-current-field-measurement-technique-for-detection-and-measurement-of-cracks-in-structures-innbunden-bok&class=scaled&v=1750951538)
![Cover for Wei Li · R-Calculus, IV: Propositional Logic - Perspectives in Formal Induction, Revision and Evolution (Pocketbok) [2023 edition] (2024)](https://imusic.b-cdn.net/images/item/original/352/9789811986352.jpg?wei-li-2024-r-calculus-iv-propositional-logic-perspectives-in-formal-induction-revision-and-evolution-pocketbok&class=scaled&v=1719566664)
![Cover for Wei Li · R-Calculus, II: Many-Valued Logics - Perspectives in Formal Induction, Revision and Evolution (Pocketbok) [2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/963/9789811692963.jpg?wei-li-2023-r-calculus-ii-many-valued-logics-perspectives-in-formal-induction-revision-and-evolution-pocketbok&class=scaled&v=1694584586)
![Cover for Wei Li · R-Calculus, IV: Propositional Logic - Perspectives in Formal Induction, Revision and Evolution (Innbunden bok) [2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/321/9789811986321.jpg?wei-li-2023-r-calculus-iv-propositional-logic-perspectives-in-formal-induction-revision-and-evolution-innbunden-bok&class=scaled&v=1694584586)
![Cover for Wei Li · R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution (Pocketbok) [2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/464/9789811629464.jpg?wei-li-2022-r-calculus-a-logic-of-belief-revision-perspectives-in-formal-induction-revision-and-evolution-pocketbok&class=scaled&v=1694584586)
![Cover for Wei Li · R-Calculus, II: Many-Valued Logics - Perspectives in Formal Induction, Revision and Evolution (Innbunden bok) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/932/9789811692932.jpg?wei-li-2022-r-calculus-ii-many-valued-logics-perspectives-in-formal-induction-revision-and-evolution-innbunden-bok&class=scaled&v=1694584586)
![Cover for Wei Li · R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution (Innbunden bok) [2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/433/9789811629433.jpg?wei-li-2021-r-calculus-a-logic-of-belief-revision-perspectives-in-formal-induction-revision-and-evolution-innbunden-bok&class=scaled&v=1660891424)
![Cover for Wei Li · Crowdsourcing: Cloud-Based Software Development - Progress in IS (Innbunden bok) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/107/9783662470107.jpg?wei-li-2015-crowdsourcing-cloud-based-software-development-progress-in-is-innbunden-bok&class=scaled&v=1467576745)
![Cover for Wei Li · Mathematical Logic: Foundations for Information Science - Progress in Computer Science and Applied Logic (Innbunden bok) [2nd ed. 2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/613/9783034808613.jpg?wei-li-2014-mathematical-logic-foundations-for-information-science-progress-in-computer-science-and-applied-logic-innbunden-bok&class=scaled&v=1416051265)
![Cover for Wei Li · Stereoselective Formation of Amines - Topics in Current Chemistry (Innbunden bok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/282/9783642539282.jpg?wei-li-2014-stereoselective-formation-of-amines-topics-in-current-chemistry-innbunden-bok&class=scaled&v=1397797254)
![Cover for Wei Li · Echocardiography in Adult Congenital Heart Disease (Pocketbok) [Softcover reprint of hardcover 1st ed. 2007 edition] (2010)](https://imusic.b-cdn.net/images/item/original/528/9781849966528.jpg?wei-li-2010-echocardiography-in-adult-congenital-heart-disease-pocketbok&class=scaled&v=1408606408)
![Cover for Wei Li · Echocardiography in Adult Congenital Heart Disease (Innbunden bok) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/159/9781846288159.jpg?wei-li-2007-echocardiography-in-adult-congenital-heart-disease-innbunden-bok&class=scaled&v=1508189449)