Handbook of Tableau Methods /

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-theoretica...

Full description

Bibliographic Details

Main Author:	D'Agostino, Marcello
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gabbay, Dov M., Hähnle, Reiner, Posegga, Joachim
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 1999.
Subjects:	Philosophy (General) Logic. Algebra > Data processing. Artificial intelligence. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book