Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
    See More
  • Language
    See More
Found 1 from your keywords: author=Sui, Yuefei
cover
R-Calculus, III: Post Three-Valued Logic
Comment Share
Li, WeiSui, Yuefei

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…

Edition
1
ISBN/ISSN
978-981-19-4270-9
Collation
xii, 273p.: Ill.
Series Title
Perspectives in Formal Induction, Revision and Evolution
Call Number
006.332 Li r