R-Calculus, II: Many-Valued Logics

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...

Full description

Bibliographic Details
Main Authors: Li, Wei, Sui, Yuefei (Author)
Format: eBook
Language:English
Published: Singapore Springer Nature Singapore 2022, 2022
Edition:1st ed. 2022
Series:Perspectives in Formal Induction, Revision and Evolution
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Introduction
  • R-Calculus For Propositional Logic
  • R-Calculus For L3-Valued Propositional Logic
  • R-Calculus For L3-Valued PL,II
  • R-Calculus For B22-Valued PL
  • R-Calculus For B22-Valued PL,II
  • Complementary R-Calculus For PL
  • Multisequents and Hypersequents
  • Product of Two R-Calculi
  • Sum of Two R-Calculi