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

XML_ID: 15811445

20 733 ₽

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

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

  • Автор

    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

Отзывы

К сожалению, отзывов пока нет.
Похожие книги
100 cases in paediatrics
изд. 2026

Cheung, Ronny (bmbch Ma Mrcpch Pgdipmeded Consultant Paediatrician, Evelina Children`s Hospital, London, Uk) Cromb, Daniel Rance, Tom Roberts, Sharon 100 cases in paediatrics

  • изд. 2026
4 898 ₽
В корзину
The Human Nervous System
изд. 2027

Edited by George Paxinos, AO (BA, MA, PhD, DSc), F The Human Nervous System

  • изд. 2027
The Human Nervous System, Fourth Edition is the standard reference for the anatomy of the central and peripheral nervous system of the human. Fully revised, with new chapters covering genes and anatomy, gene expression studies, and glia cells. The book continues to be an excellent companion to the A...
54 740 ₽
В корзину
Clinician's Guide to Cellular Immunotherapy
изд. 2026

Clinician's Guide to Cellular Immunotherapy

  • изд. 2026
9 441 ₽
В корзину
Essentials of Strength Training and Conditioning
изд. 2026

NSCA -National Strength & Conditioning Association Essentials of Strength Training and Conditioning

  • ENG
  • изд. 2026
One of the most comprehensive strength and conditioning resources available.Developed by the National Strength and Conditioning Association (NSCA) and now in its fifth edition, Essentials of Strength Training and Conditioning is the single best resource for strength and conditioning professionals an...
14 414 ₽
В корзину
The Harriet Lane Handbook: The Johns Hopkins Hospital
изд. 2026

The Johns Hopkins Hospital The Harriet Lane Handbook: The Johns Hopkins Hospital

  • изд. 2026
9 199 ₽
В корзину
Dreams, sleep, and consciousness
изд. 2026

Domhoff, G William / Уильям Домхофф Dreams, sleep, and consciousness

  • изд. 2026
8 267 ₽
В корзину
Pathophysiology, 8 ed.
изд. 2026

Banasik, Jacquelyn L / Жаклин Л. Банасик Pathophysiology, 8 ed.

  • изд. 2026
19 873 ₽
В корзину
First Trimester Ultrasound Diagnosis of Fetal Abnormalities
изд. 2026

First Trimester Ultrasound Diagnosis of Fetal Abnormalities

  • изд. 2026
21 583 ₽
В корзину
Kawaii cats coloring pages
изд. 2026

Editors Of Cider Mill Press Kawaii cats coloring pages

  • изд. 2026
1 543 ₽
В корзину
First Aid For The Usmle Step 1 2026, 36E
изд. 2026

Sean M. Blitzstein, Tao. Le, Michael Lorinsky, Vikas Bhushan First Aid For The Usmle Step 1 2026, 36E

  • изд. 2026
7673 ₽   6 138 ₽
В корзину
Around the table
изд. 2026

Mcgee, Shea / Ши Макги Around the table

  • изд. 2026
5 491 ₽
В корзину
BSAVA Manual of Guinea Pigs
изд. 2026

Chitty / Читти BSAVA Manual of Guinea Pigs

  • изд. 2026
17 820 ₽
В корзину
A First Course In Partial Differential Equations (Second Edition)
изд. 2026

A First Course In Partial Differential Equations (Second Edition)

  • изд. 2026
12 672 ₽
В корзину
Harper'S Illustrated Biochemistry 33E (Ie)
изд. 2026

Kennelly / Кеннелли Harper'S Illustrated Biochemistry 33E (Ie)

  • изд. 2026
9 779 ₽
В корзину
Miller's Anesthesia International Edition, 2 Volume Set - 10 ed.
изд. 2026

Gropper M. A. / М. А. Гроппер Miller's Anesthesia International Edition, 2 Volume Set - 10 ed.

  • изд. 2026
35 369 ₽
В корзину
Функциональная магнитно-резонансная томография головного мозга
изд. 2026

Паникратова Я.Р., Лебедева И.С., Горбунов А.В., Горев В.В., Чайка Ю.А. Функциональная магнитно-резонансная томография головного мозга

  • RUS
  • изд. 2026
Функциональная магнитно-резонансная томография головного мозга / Я.Р. Паникратова, И.С. Лебедева, А.В. Горбунов, В.В. Горев, Ю.А. Чайка. - М.: Логосфера, 2026. - 224 с.; 15,6 см. ISBN 978-5-98657-125-6 Книга посвящена одному из ключевых методов нейровизуализации - функциональной магнитно-резонансно...
1 990 ₽
В корзину
Nursing education in the ai era. Springer. 2026: 9783032124012
изд. 2026

Nursing education in the ai era. Springer. 2026: 9783032124012

  • изд. 2026
This book provides a groundbreaking approach to integrating artificial intelligence (AI) in ways that enhance learning, bridge the gap between theory and clinical practice, and ultimately prepare learners to deliver safe, equitable, and high-quality patient care. With structured, practical guidance ...
7 927 ₽
В корзину
The Only EKG Book You'll Ever Need, Edition: 10. Lippincott Williams & Wilkins, 2026: 9781975293444
изд. 2026

Малкольм С. Талер Thaler Malcolm S. The Only EKG Book You'll Ever Need, Edition: 10. Lippincott Williams & Wilkins, 2026: 9781975293444

  • изд. 2026
8 092 ₽
В корзину
Authentic movement for practitioners
изд. 2026

Payne, Helen (professor Of Psychotherapy, Universi / Хелен Пейн Authentic movement for practitioners

  • изд. 2026
5 205 ₽
В корзину
Valvular Heart Disease: A Companion to Braunwald's Heart Disease
изд. 2026

Otto, Catherine M / Кэтрин М. Отто Valvular Heart Disease: A Companion to Braunwald's Heart Disease

  • изд. 2026
29 334 ₽
В корзину
Наверх