R-Calculus, III: Post Three-Valued Logic

Available
0
StarStarStarStarStar
0Reviews

This third volume of the book series shows R-calculus is a Gentzen-typed 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. 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-ba...

Read more
E-book
pdf
Price
149.50 £

This third volume of the book series shows R-calculus is a Gentzen-typed 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. 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-ba...

Read more
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9789811942709
  • Publication Date: 19 Nov 2022
  • Publisher: Springer Nature Singapore
  • Product language: English
  • Drm Setting: DRM