Handbook of Tableau Methods
- List Price: $439.00
- Binding: Hardcover
- Publisher: Kluwer Academic Pub
- Publish date: 05/01/1999
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.
Usually Processes in 1 business day