Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

R-Calculus, III: Post Three-Valued Logic

Language EnglishEnglish
Book Paperback
Book R-Calculus, III: Post Three-Valued Logic Wei Li
Libristo code: 44429712
Publishers Springer, Berlin, December 2023
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is n... Full description
? points 460 b
69 103 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Nota del autor : los prólogos de Conrad a sus obras Joseph Conrad / Book Paperback
common.buy 7 303 Ft
Schritte International Neu - dreibandige Ausgabe Dagmar Giersberg / Book Paperback
common.buy 6 777 Ft
RTA 171 CITROEN C2 (2003 - 2008) ETAI Book binding.
common.buy 12 052 Ft
Les Princes - Eric (La Petite Sirène) Linsey Miller / Book Paperback
common.buy 8 659 Ft
Bohater niedoskonały Tajemnice Heart's Edge 1 Snow Nicole / Book Paperback
common.buy 2 583 Ft

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. 

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name R-Calculus, III: Post Three-Valued Logic
Author Wei Li, Yuefei Sui
Language English
Binding Book - Paperback
Date of issue 2023
Number of pages 273
EAN 9789811942723
Libristo code 44429712
Publishers Springer, Berlin
Weight 408
Dimensions 155 x 235

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

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 / Book Paperback
common.buy 5 066 Ft
7 Habits of Highly Effective People Personal Workbook Stephen R. Covey / Book Paperback
common.buy 5 275 Ft
Timing-Predictable Memory Allocation In Hard Real-Time Systems Jörg Herter / Book Paperback
common.buy 11 256 Ft
Pope Francis, Conscience of the World John Raymaker / Book Paperback
common.buy 18 772 Ft
Social Cognitive Theory: An Agentic Perspective on Human Nature Daniel Cervone / Book Paperback
common.buy 16 350 Ft
Dance History(s): Imagination as a Form of Study Thomas Defrantz / Book Paperback
common.buy 15 132 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?