Téléchargez le livre : R-Calculus, III: Post Three-Valued Logic
eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
168,79 €
Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
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 third volume of the book series shows R-calculus is a Gentzen-typed 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. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. 

This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. 
Pages
273 pages
Collection
Perspectives in Formal Induction, Revision and Evolution
Parution
2022-11-19
Marque
Springer
EAN papier
9789811942693
EAN PDF
9789811942709
Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
27
Taille du fichier
2324 Ko
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
168,79 €
EAN EPUB
9789811942709
Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
27
Taille du fichier
39434 Ko
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
168,79 €

Suggestions personnalisées