Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 (hardcover) EURO 181,85, 978-94-007-0005-5 (eBook) EURO 159,99.

Agudelo J.C., Carnielli W.: Polynomial ring calculus for modal logics: a new semantics and proof method for modalities. The Review of Symbolic Logic 4(1), 150–170 (2011) Arai N.H., Pitassi T., Urquhart A.: The complexity of analytic tableaux. The Journal of Symbolic Logic Volume 71(3), 777–790 (2006) Baaz M., Fermller C.G., Salzer G., Zach R.: Dual systems of sequents and tableaux for many-valued logics, Bull. EATCS 51, 192–197 (1993) Carnielli W.A.: Systematization of Finite Many-valued Logics through the method of Tableaux. Journal of Symbolic Logic 52(2), 473–493 (1987) Carnielli W.A.: On sequents and tableaux for many-valued logics. Journal of Non-Classical Logics 8(1), 59–76 (1991) Fitting, M.C., First Order Logic and Automated Theorem Proving, Springer Verlag, 1989. Gottschalk W.H.: The Theory of Quaternality. The Journal of Symbolic Logic 18(3), 193–196 (1953) Hähnle, R., Tableaux for Multiple-valued Logics, in M. D’Agostino, D.M. Gabbay, R. Hähnle, J. and Posegga, (eds.), Handbook of Tableau Methods, Kluwer Publishing Company, 1999, pp. 529–580. Konikowska B.: Rasiowa-Sikorski deduction systems in computer science applications. Journal of Theoretical Computer Science Volume 286(2), 323–366 (2002) Malinowski, G., Review of Reiner Hähnle’s “Automated Deduction in Multiplevalued Logics” (Clarendon Press, Oxford, 1993, ix + 172 pages). Note Dame Journal of Formal Logic 37:(4):631–646, 1996. Rasiowa H., Sikorski R.: On Gentzen theorem. Fundamenta Mathematicae 48, 57–69 (1960)