Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Title
R-calculus. IV, Propositional logic / Wei Li, Yuefei Sui.
ISBN
9789811986338 (electronic bk.)
9811986339 (electronic bk.)
9811986320
9789811986321
Publication Details
Singapore : Springer, 2023.
Language
English
Description
1 online resource
Item Number
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).
Series
Perspectives in formal induction, revision and evolution.
Available in Other Form
Print version: 9789811986321
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.