Dual Tableaux: Foundations, Methodology, Case Studies

• Main Authors: Orlowska, Ewa (Author), Golińska Pilarek, Joanna (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
• Series: Trends in Logic, 33
• Subjects: Mathematics.; Logic.; Mathematical logic.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

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