| 000 | 02973nam a22004455i 4500 | ||
|---|---|---|---|
| 999 |
_c383212 _d383212 _x1 |
||
| 001 | 383212 | ||
| 003 | ES-MaUEC | ||
| 005 | 20230102122054.0 | ||
| 006 | a||||fo|||| 00| 0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 221119s2022 si | s |||| 0|eng d | ||
| 020 | _a9789811692949 | ||
| 024 | 7 |
_a10.1007/978-981-16-9294-9 _2doi |
|
| 040 |
_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC |
||
| 050 | 4 |
_aQA303.2 _b2022 EB |
|
| 100 | 1 |
_aLi, Wei, _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9685390 _d1943- |
|
| 245 | 1 | 0 |
_aR-Calculus, II: Many-Valued Logics _cby Wei Li, Yuefei Sui |
| 250 | _aFirst edition 2022 | ||
| 264 | 1 |
_aSingapore _bSpringer International Publising _c2022 |
|
| 300 |
_a1 recurso en línea (XIII, 271 páginas) _b6 ilustraciones, 1 ilustraciones a color |
||
| 336 |
_atexto _btxt _2rdacontent |
||
| 337 |
_aelectrónico _bc _2rdamedia |
||
| 338 |
_arecurso electrónico _bcr _2rdacarrier |
||
| 347 |
_aarchivo de texto _bPDF |
||
| 490 | 0 |
_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. . | ||
| 988 | _aSpringer_Computer_2022 | ||
| 650 | 7 |
_2embne _9138362 _aCálculo |
|
| 650 | 7 |
_2embne _9139136 _aLógica matemática |
|
| 700 | 1 |
_aSui, Yuefei _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9685391 |
|
| 776 | 0 | 8 |
_iPrinted edition: _z9789811692932 |
| 776 | 0 | 8 |
_iPrinted edition: _z9789811692956 |
| 776 | 0 | 8 |
_iPrinted edition: _z9789811692963 |
| 856 | 4 | 0 |
_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-981-16-9294-9 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 942 |
_2lcc _cLE |
||
| 998 |
_b11/2022 _dz _eIG _zSI |
||