×


 x 

Shopping cart
Orlowska, Ewa S.; Golinska-Pilarek, Joanna - Dual Tableaux - 9789400700048 - V9789400700048
Stock image for illustration purposes only - book cover, edition or condition may vary.

Dual Tableaux

€ 198.78
FREE Delivery in Ireland
Description for Dual Tableaux Hardback. Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications. These include logic methods used in mathematics and philosophy, as well as applied theories of computational logic. Series: Trends in Logic. Num Pages: 523 pages, 8 black & white tables, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 156 x 234 x 30. Weight in Grams: 929.
This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux are built in a relational language which provides useful means of presentation of the theories. In this way modularity of dual tableaux is ... Read more

Product Details

Format
Hardback
Publication date
2010
Publisher
Springer Netherlands
Number of pages
523
Condition
New
Series
Trends in Logic
Number of Pages
523
Place of Publication
Dordrecht, Netherlands
ISBN
9789400700048
SKU
V9789400700048
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

Reviews for Dual Tableaux
From the reviews: “This book is an excellent guide for a unified treatment of the many logics surveyed … . this book unifies a collection of topics and systems that are hard to find elsewhere, and testifies to the increasing interest in non-classical logic. … Overall, it is undoubtedly a book to have in your library.” (Walter Carnielli, Studia ... Read more

Goodreads reviews for Dual Tableaux


Subscribe to our newsletter

News on special offers, signed editions & more!