Menu
Află starea comenzii
Contactați-ne
Carte R-Calculus, III: Post Three-Valued Logic Wei Li

R-Calculus, III: Post Three-Valued Logic

Autor: Wei Li, Yuefei Sui
Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
934.19 lei
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is n...

Informații despre carte

Autor
Wei Li, Yuefei Sui
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2023
Pagini
273
EAN
9789811942723
Enbook ID
44429712
Editura
Springer, Berlin
Greutate
408
Dimensiuni
155 x 235

Descriere completă

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. 

S-ar putea să te intereseze

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,

James Jurin
68.29 lei

7 Habits of Highly Effective People Personal Workbook

Stephen R. Covey
72.71 lei

Timing-Predictable Memory Allocation In Hard Real-Time Systems

Jörg Herter
157.10 lei

Pope Francis, Conscience of the World

John Raymaker
276.69 lei

Social Cognitive Theory: An Agentic Perspective on Human Nature

Daniel Cervone
223.28 lei

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

Thomas Defrantz
203.57 lei

Clienții care au cumpărat această carte au mai cumpărat și

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

Joseph Conrad
101.98 lei

Schritte International Neu - dreibandige Ausgabe

Dagmar Giersberg
94.44 lei

RTA 171 CITROEN C2 (2003 - 2008)

ETAI
169.27 lei

Les Princes - Eric (La Petite Sirène)

Linsey Miller
122.09 lei

Bohater niedoskonały Tajemnice Heart's Edge 1

Snow Nicole
35.80 lei