R-Calculus, V: Description Logics
Buch in deiner Nähe kaufen
Beschreibung
This fifth volume of the book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
This book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
Covers decidable description logics and undecidable description logics Gives the R-calculi for for description logics Inspires theoretic computer scientists by showing how R-calculus is developed into a series of complicated theories
Autor*in
Wei Li
Themen in »R-Calculus, V: Description Logics«
R-calculus Gentzen Deduction System Description Logics Post Three-valued Logic Role Constructors Multisequents Soundness and Completeness
Stimmen zu »R-Calculus, V: Description Logics«
“The book's mathematical rigor is its primary strength. The authors provide detailed proofs, examples, and formalizations, ensuring that each concept is thoroughly validated. Additionally, the inclusion of both decidable and undecidable logics bridges the gap between theory and computation, catering to diverse research interests. The treatment of many-valued logics is innovative, offering fresh insights into their structure and applications.” (Nino Guallart, Mathematical Reviews, May, 2025)
()