R-calculus. IV, Propositional logic / Wei Li, Yuefei Sui.
Li, Wei.; Sui, Yuefei.
2023
QA9.3
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. IV, Propositional logic / Wei Li, Yuefei Sui.
Author Li, Wei.
ISBN 9789811986338 (electronic bk.)
9811986339 (electronic bk.)
9811986320
9789811986321
DOI https://doi.org/10.1007/978-981-19-8633-8
Imprint Singapore : Springer, 2023.
Language English
Description 1 online resource
Other Standard Identifiers 10.1007/978-981-19-8633-8 doi
Call Number QA9.3
Dewey Decimal Classification 511.3
Summary This 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.
Bibliography, etc. Note Includes bibliographical references.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed April 10, 2023).
Added Author Sui, Yuefei.
Series Perspectives in formal induction, revision and evolution.
Available in Other Form Print version: 9789811986321
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Introduction
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export