Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. R-Calculus, III: Post Three-Valued Logic

R-Calculus, III: Post Three-Valued Logic - Yuefei Sui - Bog

af Yuefei Sui

indgår i Perspectives in Formal Induction, Revision and Evolution serien

R-Calculus, III: Post Three-Valued Logic af Yuefei Sui
Bag om R-Calculus, III: Post Three-Valued Logic

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

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9789811942723
  • Indbinding:
  • Paperback
  • Sideantal:
  • 288
  • Udgivet:
  • 21. november 2023
  • Udgave:
  • 23001
  • Størrelse:
  • 155x16x235 mm.
  • Vægt:
  • 441 g.
  • 8-11 hverdage.
  • 7. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Yuefei Sui

Vis alle bøger af Yuefei Sui

Beskrivelse af R-Calculus, III: Post Three-Valued Logic

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

Brugerbedømmelser af R-Calculus, III: Post Three-Valued Logic



Andre købte også..
Find lignende bøger
Bogen R-Calculus, III: Post Three-Valued Logic findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.