Description: The tableau methodology, invented in the 1950's by Beth and Hintikka and later perfected by Smullyan and Fitting, is today one of the most popular proof theoretical methodologies. Firstly because it is a very intuitive tool, and secondly because it appears to bring together the proof-theoretical and the semantical approaches to the presentation of a logical system.

The increasing demand for improved tableau methods for various logics is mainly prompted by extensive applications of logic in computer science, artificial intelligence and logic programming, as well as use as a means of conceptual analysis in mathematics, philosophy, linguistics and in the social sciences.

In the last few years the renewed interest in the method of analytic tableaux has generated a plethora of new results, in classical as well as non-classical logics.

This Handbook is the first to provide such a systematisation of this expanding field. It contains several chapters on the use of tableaux methods in classical logic, but also contains extensive discussions on: -- the uses of the methodology in intuitionistic logics -- modal and temporal logics -- substructural logics, nonmonotonic and many-valued logics -- the implementation of semantic tableaux -- a bibliography on analytic tableaux theorem proving.

Please Wait