R-calculus. III, Post three-valued logic / Wei Li, Yuefei Sui.
2022
Q303.2
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
R-calculus. III, Post three-valued logic / Wei Li, Yuefei Sui.
Author
Li, Wei, author.
ISBN
9789811942709 (electronic bk.)
9811942706 (electronic bk.)
9789811942693
9811942692
9811942706 (electronic bk.)
9789811942693
9811942692
Published
Singapore : Springer, 2022.
Language
English
Description
1 online resource (1 volume)
Item Number
10.1007/978-981-19-4270-9 doi
Call Number
Q303.2
Dewey Decimal Classification
515
Summary
This 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.
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Sui, Yuefei, author.
Series
Perspectives in formal induction, revision and evolution.
Available in Other Form
R-calculus. III, Post three-valued logic.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Introduction
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.
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.