R-Calculus, II: Many-Valued Logics

Name: R-Calculus, II: Many-Valued Logics
Brand: Springer Verlag, Singapore
SKU: 9789811692932
Price: 157.6 EUR
Availability: InStock

Автор: Wei Li, Yuefei Sui

Език:

Корици: С твърди корици

Издател: Springer Verlag, Singapore

Наличност: Външен склад

Изпращаме след 10-13 дни

157.60 € 308.24 лв

This second volume of the book series shows R-calculus is a combination of one monotonic tableau pro...

Информация за книгата

Автор

Wei Li, Yuefei Sui

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2022

страници

271

EAN

9789811692932

Enbook ID

38573903

Издател

Springer Verlag, Singapore

Теглоt

600

Размери

155 x 235 x 21

Пълно описание

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

R-Calculus, II: Many-Valued Logics

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също