001446021 000__ 03062cam\a2200529Ii\4500
001446021 001__ 1446021
001446021 003__ OCoLC
001446021 005__ 20230310003933.0
001446021 006__ m\\\\\o\\d\\\\\\\\
001446021 007__ cr\un\nnnunnun
001446021 008__ 220420s2022\\\\si\a\\\\ob\\\\000\0\eng\d
001446021 019__ $$a1311163236$$a1311241512$$a1311267281$$a1311336308$$a1311357871
001446021 020__ $$a9789811692949$$q(electronic bk.)
001446021 020__ $$a9811692947$$q(electronic bk.)
001446021 020__ $$z9789811692932
001446021 020__ $$z9811692939
001446021 0247_ $$a10.1007/978-981-16-9294-9$$2doi
001446021 035__ $$aSP(OCoLC)1311465244
001446021 040__ $$aYDX$$beng$$cYDX$$dGW5XE$$dEBLCP$$dOCLCO$$dOCLCF$$dUKAHL$$dOCLCQ
001446021 049__ $$aISEA
001446021 050_4 $$aQA303.2
001446021 08204 $$a515$$223/eng/20220421
001446021 1001_ $$aLi, Wei,$$d1943 June-$$eauthor.
001446021 24510 $$aR-calculus.$$nII,$$pMany-valued logics /$$cWei Li, Yuefei Sui.
001446021 24630 $$aMany-valued logics
001446021 264_1 $$aSingapore :$$bSpringer,$$c2022.
001446021 300__ $$a1 online resource.
001446021 4901_ $$aPerspectives in Formal Induction, Revision and Evolution Ser.
001446021 504__ $$aIncludes bibliographical references.
001446021 5050_ $$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.
001446021 506__ $$aAccess limited to authorized users.
001446021 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. .
001446021 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 21, 2022).
001446021 650_0 $$aCalculus.
001446021 650_0 $$aLogic, Symbolic and mathematical.
001446021 650_6 $$aCalcul infinitésimal.
001446021 650_6 $$aLogique symbolique et mathématique.
001446021 655_0 $$aElectronic books.
001446021 7001_ $$aSui, Yuefei,$$eauthor.
001446021 77608 $$iPrint version: $$z9789811692932$$z9811692939$$w(OCoLC)1295136774
001446021 830_0 $$aPerspectives in Formal Induction, Revision and Evolution Ser.
001446021 852__ $$bebk
001446021 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-981-16-9294-9$$zOnline Access$$91397441.1
001446021 909CO $$ooai:library.usi.edu:1446021$$pGLOBAL_SET
001446021 980__ $$aBIB
001446021 980__ $$aEBOOK
001446021 982__ $$aEbook
001446021 983__ $$aOnline
001446021 994__ $$a92$$bISE