0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Dual Tableaux: Foundations, Methodology, Case Studies (Paperback, 2011) Loot Price: R2,851 Discovery Miles 28 510 You Save: R250 (8%)

This item is a special order that could take a long time to obtain.

Dual Tableaux: Foundations, Methodology, Case Studies (Paperback, 2011): Ewa S. Orlowska, Joanna Golinska-Pilarek
Dual Tableaux: Foundations, Methodology, Case Studies (Paperback, 2011): Ewa S. Orlowska, Joanna Golinska-Pilarek

Share your images

Dual Tableaux: Foundations, Methodology, Case Studies (Paperback, 2011)

Ewa S. Orlowska, Joanna Golinska-Pilarek

Series: Trends in Logic, 33

 (sign in to rate)
List price R3,101 Loot Price R2,851 Discovery Miles 28 510 You Save R250 (8%)

Bookmark and Share

Our supplier does not have stock of this product at present, but we can create a special order for you. Alternatively, if you add it to your wishlist we will send you an email message should it become available from stock. Special orders from this supplier are normally fulfilled within 31 - 41 working days. Please note:

  • Special order items cannot be combined on an order with other items.
  • Special orders can sometimes take significantly longer than this estimate and sometimes our suppliers may be unable to fill a special order.
  • We cannot accept returns of special order titles.
  • If we haven't been able to get the product for you within about 3 months, we will automatically cancel the order and fully refund any payments that you have made.

New to special orders? Find out 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 ensured. We do not need to develop and implement each dual tableau from scratch, we should only extend the relational core common to many theories with the rules specific for a particular theory.

General

Imprint: Springer
Country of origin: Netherlands
Series: Trends in Logic, 33
Release date: December 2012
First published: 2011
Authors: Ewa S. Orlowska • Joanna Golinska-Pilarek
Dimensions: 235 x 155 x 27mm (L x W x T)
Format: Paperback - Trade
Pages: 539
Edition: 2011
ISBN-13: 978-9400734364
Barcode: 9789400734364
Categories: Promotions
Books > Humanities > Philosophy > Topics in philosophy > Logic
Books > Philosophy > Topics in philosophy > Logic
Books > Science & Mathematics > Mathematics > Mathematical foundations
Books > Science & Mathematics > Mathematics > Mathematical foundations > General
Books > Computing & IT > General theory of computing > Mathematical theory of computation
LSN: 9400734360

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Loyalty partners