Dual Tableaux : Foundations, Methodology, Case Studies (Trends in Logic) <Vol. 33>

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.