Téléchargez le livre : R-Calculus, II: Many-Valued Logics

R-Calculus, II: Many-Valued Logics

de

,

Éditeur :

Springer


Collection :

Perspectives in Formal Induction, Revision and Evolution

Paru le : 2022-04-12

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
147,69 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description

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.  
Pages
271 pages
Collection
Perspectives in Formal Induction, Revision and Evolution
Parution
2022-04-12
Marque
Springer
EAN papier
9789811692932
EAN PDF
9789811692949
Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
27
Taille du fichier
3523 Ko
Prix
147,69 €
EAN EPUB
9789811692949
Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
27
Taille du fichier
29891 Ko
Prix
147,69 €

Suggestions personnalisées