R-Calculus, IV: Propositional Logic

ISBN: 9789811986321
Код товара 153714

Wei Li, Yuefei Sui / Вэй Ли, Юфэй Суй

R-Calculus, IV: Propositional Logic

R-Calculus, IV: Propositional Logic

ISBN: 9789811986321
Код товара 153714

23 757 ₽

Доставка под заказ

Если Вы закажете книгу до 02.05.2025, то мы привезём её ориентировочно 13.06.2025.

  • Автор

    Wei Li, Yuefei Sui / Вэй Ли, Юфэй Суй

  • Издатель

    Springer

  • Тип обложки

    Hardback

  • Размеры

    235 x 155

  • Год издания

    2023

  • Вес (г)

    571

  • ISBN

    9789811986321

  • Язык

    ENG

  • Кол-во страниц

    252

О чём книга?

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.

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 proposit
Похожие книги
Classic Anatomical Illustrations
изд. 2008

Vesalius Classic Anatomical Illustrations

  • ENG
  • изд. 2008
An awe-inspiring fusion of science and art, this magnificent single-volume reference features more than 130 ground-breaking anatomical illustrations by history's most brilliant artists. Dramatic and highly studied sketches dating back to the sixteenth through eighteenth centuries, these images ...
1 607 ₽
Guyton and Hall Textbook of Medical Physiology,13 ed.
изд. 2015

Hall, John E. Guyton and Hall Textbook of Medical Physiology,13 ed.

  • изд. 2015
The 13th edition of Guyton and Hall Textbook of Medical Physiology continues this bestselling title's long tradition as the world’s foremost medical physiology textbook. Unlike other textbooks on this topic, this clear and comprehensive guide has a consistent, single-author voice and focuses on...
10168 ₽   7 118 ₽
Essential Clinical Anatomy, International Edition 5e
изд. 2014

Keith L. Moore, Arthur F. Dalley II, Anne M. R. Ag Essential Clinical Anatomy, International Edition 5e

  • изд. 2014
Essential Clinical Anatomy, Fifth Edition presents core anatomical concepts in a concise, student-friendly format. The text includes the hallmark blue Clinical Boxes, as well as surface anatomy and medical imaging features. It is an ideal text for shorter medical courses and health professions cours...
7227 ₽   5 059 ₽
How to eat
изд. 2025

How to eat

  • изд. 2025
2 374 ₽
Contemporary nursing
изд. 2025

Contemporary nursing

  • изд. 2025
12 125 ₽
Transforming global health partnerships
изд. 2025

Transforming global health partnerships

  • изд. 2025
This is a book about the human experience of conducting global health research, linked to operational responses to the control and prevention of diseases worldwide. Rather than a manual or how-to guide, we propose a roadmap and vision of equitable, sustainable, and impactful partnerships shared thro...
6 986 ₽
Practical general practice
изд. 2025

Practical general practice

  • изд. 2025
10 441 ₽
Clinical handbook of neuromuscular medicine
изд. 2025

Clinical handbook of neuromuscular medicine

  • изд. 2025
This updated and expanded new edition provides a concise introduction to the Neuromuscular Medicine subspecialty of neurology for residents and fellows. It's organized by disease states and includes chapters on diagnostic and management tools of particular relevance, including muscle and nerve ...
9 781 ₽