Terug Terug

Perspectives in Formal Induction, Revision and Evolution- R-Calculus, III: Post Three-Valued Logic Post Three-Valued Logic

Auteur: Wei Li
Taal: Engels

Afbeeldingen

Artikel vergelijken

Bekijk nu
Auteur: Wei Li Yuefei Sui
  • Engels
  • Hardcover
  • 9789811942693
  • 20 november 2022
  • 273 pagina's
Alle productspecificaties

Samenvatting

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.



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.



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.

Productspecificaties

Inhoud

Taal
en
Bindwijze
Hardcover
Oorspronkelijke releasedatum
20 november 2022
Aantal pagina's
273

Betrokkenen

Hoofdauteur
Wei Li
Tweede Auteur
Yuefei Sui
Hoofduitgeverij
Springer Verlag, Singapore

Overige kenmerken

Editie
1st ed. 2022
Product breedte
155 mm
Product lengte
235 mm
Studieboek
Ja
Verpakking breedte
155 mm
Verpakking hoogte
235 mm
Verpakking lengte
235 mm
Verpakkingsgewicht
600 g

EAN

EAN
9789811942693

Je vindt dit artikel in

Categorieën
Boek, ebook of luisterboek?
Boek
Taal
Engels
Beschikbaarheid
Leverbaar
Studieboek of algemeen
Studieboeken

Reviews
Nog geen reviews
Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.

Kies gewenste uitvoering

Bindwijze : Hardcover

Prijsinformatie en bestellen

De prijs van dit product is 198 euro en 99 cent.
2 - 3 weken
Verkoop door bol
In winkelwagen
  • Prijs inclusief verzendkosten, verstuurd door bol
  • Ophalen bij een bol afhaalpunt mogelijk
  • 30 dagen bedenktijd en gratis retourneren
  • Dag en nacht klantenservice

Anderen bekeken ook

Bekijk de hele lijst