1. Preface to the special issue on tableaux

   • Graham Wrightson

   EditorialNotes Pages: 173 - 173

2. Tableaux for logic programming

   • Melvin Fitting

   OriginalPaper Pages: 175 - 188

3. Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction

   • Mark E. Stickel

   OriginalPaper Pages: 189 - 210

4. The liberalized δ-rule in free variable semantic tableaux

   • Reiner Hähnle
   • Peter H. Schmitt

   OriginalPaper Pages: 211 - 221

5. Tableau-based characterization and theorem proving for default logic

   • Vincent Risch
   • Camilla B. Schwind

   OriginalPaper Pages: 223 - 242

6. A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics

   • Marcello D'Agostino
   • Dov M. Gabbay

   OriginalPaper Pages: 243 - 281