Skip to main content
Booklooky Logo
Sign in

R-Calculus. III. Post three-valued logic

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 third volume of In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.