Dual Tableaux: Foundations, Methodology, Case Studies

by Joanna Goliska Pilarek, Ewa Orlowska, Joanna Goliska Pilarek

Book Overview

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...

• Format: Paperback
• Language: English
• ISBN: 9400734360
• ISBN13: 9789400734364
• Release Date: January 2013
• Publisher: Springer
• Length: 523 Pages
• Weight: 1.65 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"