R-Calculus, IV: Propositional Logic - Tapa blanda

Li, Wei; Sui, Yuefei

 
9789811986345: R-Calculus, IV: Propositional Logic

Sinopsis

This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given.

This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. 

"Sinopsis" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9789811986321: R-Calculus, IV: Propositional Logic: 4 (Perspectives in Formal Induction, Revision and Evolution)

Edición Destacada

ISBN 10:  9811986320 ISBN 13:  9789811986321
Editorial: Springer, 2023
Tapa dura