R-calculus.: IV,: Propositional logic: [electronic resource] /: Wei Li, Yuefei Sui.

Li, Wei.; Sui, Yuefei.

doi:10.1007/978-981-19-8633-8

R-calculus. IV, Propositional logic [electronic resource] / Wei Li, Yuefei Sui.

Li, Wei.; Sui, Yuefei.

2023

QA9.3

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

R-calculus. IV, Propositional logic [electronic resource] / 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

Published

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).

Added Author

Sui, Yuefei.

Series

Perspectives in formal induction, revision and evolution.

Available in Other Form

Print version: 9789811986321