R-calculus. III, Post three-valued logic / Wei Li, Yuefei Sui.
Li, Wei, author.; Sui, Yuefei, author.
2022
Q303.2
Available Online

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
DOI
https://doi.org/10.1007/978-981-19-4270-9
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
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export