R-Calculus, II: Many-Valued Logics

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

Autor: Wei Li, Yuefei Sui

Limbă:

Legare: Copertă tare

Editura: Springer Verlag, Singapore

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

824.30 lei

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

Informații despre carte

Autor

Wei Li, Yuefei Sui

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2022

Pagini

271

EAN

9789811692932

Enbook ID

38573903

Editura

Springer Verlag, Singapore

Greutate

600

Dimensiuni

155 x 235 x 21

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

R-Calculus, II: Many-Valued Logics

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și