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
Похожие книги
BRS Pharmacology, 8 ed. PB
изд. 2025

Sarah Lerchenfeldt BRS Pharmacology, 8 ed. PB

  • ENG
  • изд. 2025
8 235 ₽
В корзину
Building a storybrand 2.0
изд. 2025

Miller, Donald Building a storybrand 2.0

  • изд. 2025
2 572 ₽
В корзину
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 ₽
В корзину
Statistical Modeling and Computation
изд. 2025

Joshua C. C. Chan , Dirk P. Kroese / Джошуа С. Чан Statistical Modeling and Computation

  • изд. 2025
20 938 ₽
В корзину
The Ecg Made Easy, International Edition
изд. 2024

Hampton, John / Джон Хэмптон The Ecg Made Easy, International Edition

  • изд. 2024
2 799 ₽
В корзину
Fundamentals of clinical psychiatry
изд. 2025

Fundamentals of clinical psychiatry

  • изд. 2025
7 443 ₽
В корзину
How to eat
изд. 2025

How to eat

  • изд. 2025
2 374 ₽
В корзину
Acupuncture and osteopathy to treat musculoskeletal pain of the extremities
изд. 2025

Mazzanti, Umberto, Md, Acupuncturist, Osteopath Do Mroi Giovanardi, Carlo Maria, Md, Acupuncturist Poini, Alessandra, Md, Acupuncturist (board Member, Acupuncture and osteopathy to treat musculoskeletal pain of the extremities

  • изд. 2025
15 030 ₽
В корзину
Doctorate: finding your way as a healthcare professional in research
изд. 2025

Deane, Janet, Phd, Msc, Bsc, Mcsp (associate Professor, Rehabilitation Science And Physiotherapy, School Of Sports, Exercise And Rehabilitation Scienc Doctorate: finding your way as a healthcare professional in research

  • изд. 2025
5 240 ₽
В корзину
Contemporary nursing
изд. 2025

Contemporary nursing

  • изд. 2025
12 125 ₽
В корзину
Mosby`s pharmacy technician: principles and practice
изд. 2025

Davis, Karen, Aahca, Bhs, Cpht (pharmacy Technician Education Consultant, Society For The Education Of Pharmacy Technicians (sepht), Lyons, Georgia; P Mosby`s pharmacy technician: principles and practice

  • изд. 2025
15 831 ₽
В корзину
Clayton`s basic pharmacology for nurses
изд. 2025

Willihnganz, Michelle J., Ms, Rn, Cne (rctc Nursing Instructor, Rochester Community And Technical College, Rochester, Minnesota, Usa) Gurevitz, Samuel Clayton`s basic pharmacology for nurses

  • изд. 2025
13 473 ₽
В корзину
Study guide for clayton`s basic pharmacology for nurses
изд. 2025

Willihnganz, Michelle J., Ms, Rn, Cne (rctc Nursing Instructor, Rochester Community And Technical College, Rochester, Minnesota, Usa) Study guide for clayton`s basic pharmacology for nurses

  • изд. 2025
5 893 ₽
В корзину
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 ₽
В корзину
Blaber`s foundations for paramedic practice: a theoretical perspective 4e
изд. 2025

Blaber, Amanda Blaber`s foundations for paramedic practice: a theoretical perspective 4e

  • изд. 2025
5 489 ₽
В корзину
Occupational therapy for people experiencing illness, injury or impairment
изд. 2025

Occupational therapy for people experiencing illness, injury or impairment

  • изд. 2025
11 529 ₽
В корзину
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 ₽
В корзину
Наверх