| Document Type
|
:
|
BL
|
| Record Number
|
:
|
733788
|
| Doc. No
|
:
|
b553610
|
| Main Entry
|
:
|
edited by Marcello D'Agostino [and others].
|
| Title & Author
|
:
|
Handbook of tableau methods\ edited by Marcello D'Agostino [and others].
|
| Publication Statement
|
:
|
Dordrecht ; London: Springer, 2011
|
| Page. NO
|
:
|
1 volume : illustrations ; 24 cm
|
| ISBN
|
:
|
9048151848
|
|
|
:
|
: 9789048151844
|
| Notes
|
:
|
Originally published: 1999.
|
| Contents
|
:
|
Preface. Introduction; M. Fitting. Tableau Methods for Classical Propositional Logic; M. D'Agostino. First-Order Tableau Methods; R. Letz. Equality and Other Theories; B. Beckert. Tableaux for Intuitionistic Logics; A. Waaler, L. Wallen. Tableau Methods for Modal and Temporal Logics; R. Gore. Tableau Methods for Substructural Logics; M. D'Agostino, et al. Tableaux for Nonmonotonic Logics; N. Olivetti. Tableaux for Many-valued Logics; R. Hahnle. Implementing Semantic Tableaux; J. Posegga, P. Schmitt. A Bibliography on Analytic Tableaux Theorem Proving; G. Wrightson. Index.
|
| Subject
|
:
|
Automatic theorem proving.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| LC Classification
|
:
|
QA76.9.A96E358 2011
|
| Added Entry
|
:
|
Marcello D'Agostino
|