Skip to main content
Booklooky Logo
Sign in

R-Calculus, III

by Li, Wei and Sui, Yuefei

Looky Rating System: Violence 0/5, Love & Romance 0/5, Mental Health 0/5, Language 0/5, Substance Use 0/5, Fear / Horror 0/5, Fantasy / Supernatural 0/5, LGBTQ+ Representation 0/5.

Description

This second volume of 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.