Stock image for illustration purposes only - book cover, edition or condition may vary.
Dual Tableaux: Foundations, Methodology, Case Studies
Orlowska, Ewa S.; Golinska-Pilarek, Joanna
€ 190.88
FREE Delivery in Ireland
Description for Dual Tableaux: Foundations, Methodology, Case Studies
Paperback. 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; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 749.
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
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
Paperback
Publication date
2012
Publisher
Springer Netherlands
Number of pages
523
Condition
New
Series
Trends in Logic
Number of Pages
523
Place of Publication
Dordrecht, Netherlands
ISBN
9789400734364
SKU
V9789400734364
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Dual Tableaux: Foundations, Methodology, Case Studies
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