000 | 02996nam a22006015i 4500 | ||
---|---|---|---|
001 | 978-981-19-8633-8 | ||
003 | DE-He213 | ||
005 | 20240423125450.0 | ||
007 | cr nn 008mamaa | ||
008 | 230327s2023 si | s |||| 0|eng d | ||
020 |
_a9789811986338 _9978-981-19-8633-8 |
||
024 | 7 |
_a10.1007/978-981-19-8633-8 _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, IV: Propositional Logic _h[electronic resource] / _cby Wei Li, Yuefei Sui. |
250 | _a1st ed. 2023. | ||
264 | 1 |
_aSingapore : _bSpringer Nature Singapore : _bImprint: Springer, _c2023. |
|
300 |
_aXIII, 252 p. 2 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 simplified propositional logics -- R-calculi for tableau/Gentzen deduction systems -- R-calculi RQ1Q2/RQ1Q2 -- R-calculi RQ1iQ2j/RQ1iQ2j -- R-Calculi: RY1Q1iY2Q2j/RY1Q1iY2Q2j -- R-calculi for supersequents -- R-calculi for propositional logic. | |
520 | _aThis fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. . | ||
650 | 0 | _aMachine theory. | |
650 | 0 | _aMathematical logic. | |
650 | 0 | _aLogic programming. | |
650 | 0 | _aMathematical models. | |
650 | 0 |
_aComputer science _xMathematics. |
|
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 | _aMathematics of Computing. |
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: _z9789811986321 |
776 | 0 | 8 |
_iPrinted edition: _z9789811986345 |
776 | 0 | 8 |
_iPrinted edition: _z9789811986352 |
830 | 0 |
_aPerspectives in Formal Induction, Revision and Evolution, _x2731-3697 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-981-19-8633-8 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
942 | _cSPRINGER | ||
999 |
_c178237 _d178237 |