R-Calculus, IV: Propositional Logic

Main
Mathematics - Logic
R-Calculus, IV: Propositional Logic

R-Calculus, IV: Propositional Logic

Name: R-Calculus, IV: Propositional Logic
ISBN: 9789811986321

Wei Li, Yuefei Sui

0 / 5.0

0 comments

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

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.

الفئات:

Mathematics - Logic

عام:

2023

الناشر:

Springer

اللغة:

english

الصفحات:

385

ISBN 10:

9811986320