R-Calculus, III: Post Three-Valued Logic

Name: R-Calculus, III: Post Three-Valued Logic
Brand: Springer, Berlin
SKU: 9789811942723
Price: 169.4 EUR
Availability: InStock

Autor: Wei Li, Yuefei Sui

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

169.40 €

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is n...

Informácie o knihe

Autor

Wei Li, Yuefei Sui

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2023

Stránok

273

EAN

9789811942723

Enbook ID

44429712

Vydavateľ

Springer, Berlin

Hmotnosť

408

Rozmery

155 x 235

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

R-Calculus, III: Post Three-Valued Logic

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Account of the Success of Inoculating the Small Pox in Great Britain, for the Year 1724. with a Comparison Between the Miscarriages in That Practice,

7 Habits of Highly Effective People Personal Workbook

Timing-Predictable Memory Allocation In Hard Real-Time Systems

Pope Francis, Conscience of the World

Social Cognitive Theory: An Agentic Perspective on Human Nature

Dance History(s): Imagination as a Form of Study

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Nota del autor : los prólogos de Conrad a sus obras

Schritte International Neu - dreibandige Ausgabe

RTA 171 CITROEN C2 (2003 - 2008)

Les Princes - Eric (La Petite Sirène)

Bohater niedoskonały Tajemnice Heart's Edge 1