Dual Tableaux: Foundations, Methodology, Case Studies
Orlowska, Ewa / Golińska Pilarek, Joanna![Dual Tableaux: Foundations, Methodology, Case Studies](https://support.digitalhusky.com/media/annotations/sorted/143/14309917/CHSBZCOP0314309917.jpg)
The 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...