001451651 000__ 02934cam\a2200553\i\4500
001451651 001__ 1451651
001451651 003__ OCoLC
001451651 005__ 20230310004711.0
001451651 006__ m\\\\\o\\d\\\\\\\\
001451651 007__ cr\cn\nnnunnun
001451651 008__ 221205s2022\\\\si\\\\\\ob\\\\000\0\eng\d
001451651 019__ $$a1351446240$$a1351751175$$a1354568012
001451651 020__ $$a9789811942709$$q(electronic bk.)
001451651 020__ $$a9811942706$$q(electronic bk.)
001451651 020__ $$z9789811942693
001451651 020__ $$z9811942692
001451651 0247_ $$a10.1007/978-981-19-4270-9$$2doi
001451651 035__ $$aSP(OCoLC)1353217589
001451651 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dOCLCF$$dUKAHL$$dOCLCQ
001451651 049__ $$aISEA
001451651 050_4 $$aQ303.2
001451651 08204 $$a515$$223/eng/20221205
001451651 1001_ $$aLi, Wei,$$eauthor.
001451651 24510 $$aR-calculus.$$nIII,$$pPost three-valued logic /$$cWei Li, Yuefei Sui.
001451651 24630 $$aPost three-valued logic
001451651 264_1 $$aSingapore :$$bSpringer,$$c2022.
001451651 300__ $$a1 online resource (1 volume)
001451651 336__ $$atext$$btxt$$2rdacontent
001451651 337__ $$acomputer$$bc$$2rdamedia
001451651 338__ $$aonline resource$$bcr$$2rdacarrier
001451651 4901_ $$aPerspectives in formal induction, revision and evolution
001451651 504__ $$aIncludes bibliographical references.
001451651 5050_ $$aIntroduction -- Many-Placed Sequents -- Modalized Three-Valued Logics -- Post three-valued logic -- R-Calculi for Post Three-valued logic -- Post Three-valued description logic -- R-calculi for Post three-valued description logic -- R-calculi for corner multisequents -- General multisequents -- R-calculi for general multisequents.
001451651 506__ $$aAccess limited to authorized users.
001451651 520__ $$aThis 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. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
001451651 588__ $$aDescription based on print version record.
001451651 650_0 $$aProof theory.
001451651 650_0 $$aCalculus.
001451651 650_0 $$aComputer logic.
001451651 655_0 $$aElectronic books.
001451651 7001_ $$aSui, Yuefei,$$eauthor.
001451651 77608 $$iPrint version:$$aLi, Wei.$$tR-calculus. III, Post three-valued logic.$$dSingapore : Springer Nature Singapore, 2022$$z9789811942693$$w(OCoLC)1338667465
001451651 830_0 $$aPerspectives in formal induction, revision and evolution.
001451651 852__ $$bebk
001451651 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-981-19-4270-9$$zOnline Access$$91397441.1
001451651 909CO $$ooai:library.usi.edu:1451651$$pGLOBAL_SET
001451651 980__ $$aBIB
001451651 980__ $$aEBOOK
001451651 982__ $$aEbook
001451651 983__ $$aOnline
001451651 994__ $$a92$$bISE