000 | 03335nam a22006015i 4500 | ||
---|---|---|---|
001 | 978-981-16-9294-9 | ||
003 | DE-He213 | ||
005 | 20240423125543.0 | ||
007 | cr nn 008mamaa | ||
008 | 220412s2022 si | s |||| 0|eng d | ||
020 |
_a9789811692949 _9978-981-16-9294-9 |
||
024 | 7 |
_a10.1007/978-981-16-9294-9 _2doi |
|
050 | 4 | _aQA267-268.5 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
082 | 0 | 4 |
_a005.131 _223 |
100 | 1 |
_aLi, Wei. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
245 | 1 | 0 |
_aR-Calculus, II: Many-Valued Logics _h[electronic resource] / _cby Wei Li, Yuefei Sui. |
250 | _a1st ed. 2022. | ||
264 | 1 |
_aSingapore : _bSpringer Nature Singapore : _bImprint: Springer, _c2022. |
|
300 |
_aXIII, 271 p. 6 illus., 1 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aPerspectives in Formal Induction, Revision and Evolution, _x2731-3697 |
|
505 | 0 | _aIntroduction -- R-Calculus For Propositional Logic -- R-Calculus For L3-Valued Propositional Logic -- R-Calculus For L3-Valued PL,II -- R-Calculus For B22-Valued PL -- R-Calculus For B22-Valued PL,II -- Complementary R-Calculus For PL -- Multisequents and Hypersequents -- Product of Two R-Calculi -- Sum of Two R-Calculi. | |
520 | _aThis second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type 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. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks. . | ||
650 | 0 | _aMachine theory. | |
650 | 0 | _aMathematical logic. | |
650 | 0 | _aLogic programming. | |
650 | 0 | _aMathematical models. | |
650 | 0 | _aBig data. | |
650 | 1 | 4 | _aFormal Languages and Automata Theory. |
650 | 2 | 4 | _aMathematical Logic and Foundations. |
650 | 2 | 4 | _aLogic in AI. |
650 | 2 | 4 | _aMathematical Modeling and Industrial Mathematics. |
650 | 2 | 4 | _aBig Data. |
700 | 1 |
_aSui, Yuefei. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9789811692932 |
776 | 0 | 8 |
_iPrinted edition: _z9789811692956 |
776 | 0 | 8 |
_iPrinted edition: _z9789811692963 |
830 | 0 |
_aPerspectives in Formal Induction, Revision and Evolution, _x2731-3697 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-981-16-9294-9 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
942 | _cSPRINGER | ||
999 |
_c179208 _d179208 |