Error title
Some error text about your books and stuff.
Close

Handbook of Tableau Methods

by Dov M. Gabbay

  • ISBN: 9780792356271
  • ISBN10: 0792356276

Handbook of Tableau Methods

by Dov M. Gabbay

  • List Price: $439.00
  • Binding: Hardcover
  • Publisher: Kluwer Academic Pub
  • Publish date: 05/01/1999
  • ISBN: 9780792356271
  • ISBN10: 0792356276
new Add to Cart $309.92
You save: 29%
FREE economy shipping!
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.

Expand description
Seller Condition Comments Price  
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: New
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$272.02
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).