R-Calculus, II: Many-Valued Logics

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

Autor: Wei Li, Yuefei Sui

Język:

Oprawa: Twarda

Wydawca: Springer Verlag, Singapore

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-13 dni

649.23 zł

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

Informacje o książce

Autor

Wei Li, Yuefei Sui

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2022

strony

271

EAN

9789811692932

Enbook ID

38573903

Wydawca

Springer Verlag, Singapore

Waga

600

Wymiary

155 x 235 x 21

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

R-Calculus, II: Many-Valued Logics

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również