
ISBN: 9789811986321
Код товара 153714
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
Подпишись на рассылку
Подпишись на рассылку
Знание — сила
Обещаем делиться новинками, статьями, подборками и всем, что действительно важно
P.S. спамить — не в нашем стиле
0.39 s.
|
s.