Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě dnes!

R-Calculus, III: Post Three-Valued Logic

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

Autor: Wei Li, Yuefei Sui

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

3 882 Kč

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

Informace o knize

Autor

Wei Li, Yuefei Sui

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2023

Stránek

273

EAN

9789811942723

Enbook ID

44429712

Vydavatel

Springer, Berlin

Hmotnost

408

Rozměry

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 zajímat

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

278 Kč

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

R-Calculus, III: Post Three-Valued Logic

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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ákaznicí kteří koupili tuto knihu koupili také

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